Property-preserving subnet reductions for designing manufacturing systems with shared resources

Theoretical Computer Science

Volumn 332, Issue 1-3, 2005, Pages 461-485

  Huang, H J ^a   Jiao, L ^b   Cheung, T Y ^c  

^a HARBIN INSTITUTE OF TECHNOLOGY   (China)

^b INSTITUTE OF SOFTWARE   (China)

^c NONE

Author keywords

Manufacturing system; Petri net; Property preserving; Reduction; System design; Transformation; Verification

Indexed keywords

DATA ACQUISITION; ENCODING (SYMBOLS); MATHEMATICAL MODELS; PETRI NETS; REDUCTION; RESOURCE ALLOCATION; ROBOTS; SOFTWARE ENGINEERING;

MANUFACTURING SYSTEMS; PROPERTY-PRESERVING; TRANSFORMATION; VERIFICATION;

SYSTEMS ANALYSIS;

EID: 13644270750     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2004.12.010     Document Type: Article

References (35)

1. Aalst, and Wil van der Verification of workflow nets Lecture Notes in Comput. Sci. 1248 1997 407 426
2. T. Agerwala, Y. Choed-Amphai, A synthesis rule for concurrent systems, Proc. 15th Design Automation Conference, June 1978, pp. 305-311.
3. G. Berthelot Checking properties of nets using transformations Lecture Notes in Comput. Sci. 222 1986 19 40
4. E. Best, R. Devillers, and M. Koutny Petri Net Algebra 2001 Springer Berlin
5. W. Brauer, R. Gold, and W. Vogler A survey of behavior and equivalence preserving refinement of petri nets Lecture Notes in Comput. Sci. 483 1990 1 46
6. K.S. Cheung, Use-case-driven system design: a synthesis methodology based on labelled petri nets, Ph.D. Thesis, Dept. of Computer Science, City University of Hong Kong, 2002.
7. H.J. Huang, T.Y. Cheung, W.M. Mak, Structure and behavior preservation by Petri-net-based refinements in system design, Theoret. Comput. Sci. 328 (2004) 245-269.
8. T.Y. Cheung, and W. Zeng Invariant-preserving transformations for the verification of place/transition systems IEEE Trans. Systems Man Cybernetics - Part A Systems Humans 28 1 1998 114 121
9. F. Chu, and X. Xie Deadlock analysis of petri nets using siphon and mathematical programming IEEE Trans. Robotics Automation 13 6 1997 793 804
10. J. Desel Reduction and design of well-behaved concurrent systems Lecture Notes in Comput. Sci. 458 1990 166 181
11. J. Desel, and T. Esparza Free Choice Petri Nets 1995 Cambridge University Press Cambridge
12. J. Esparza Reduction and synthesis of live and bounded free choice petri nets Inform. Comput. 114 1 1994 50 87
13. J. Esparza, and M. Silva On the analysis and synthesis of free choice systems Lecture Notes in Comput. Sci. 483 1990 186 243
14. J. Esparza, and M. Silva Compositional synthesis of live and bounded free choice petri nets Lecture Notes in Comput. Sci. 527 1991 172 187
15. C. Girault, and R. Valk Petri Nets for System Engineering - A Guide to Modeling, Verification, and Applications 2003 Springer Berlin
16. H.J. Huang, T.Y. Cheung, A Property-Preserving Component-Based Methodology for Designing Multi-agent Systems, submitted.
17. H.J. Huang, T.Y. Cheung, Applications of Property-Preserving Algebras to Component-Based Manufacturing System Designs, submitted.
18. H.J. Huang, T.Y. Cheung, W.M. Mak, Preservation of Nineteen Properties under Place and Transition Reductions, Proc. 9th Bellman Continuum, Vol. 2, 2002, pp. 328-336.
19. H.J. Huang, L. Jiao, T.Y. Cheung, Property-preserving composition of augmented marked graphs that share common resources, Proc. 2003 IEEE Internat. Conf. on Robotics and Automation, 2003, pp. 1446-1451.
20. M.D. Jeng, and F. DiCesare Synthesis using resource control nets for modeling shared-resources systems IEEE Trans. Robotics Automation 11 3 1995 317 327
21. L. Jiao, T.Y. Cheung, W.M. Lu, On liveness and boundedness of asymmetric choice nets, Theoret. Comput. Sci. 311 (2004) 165-197.
22. L. Jiao, H.J. Huang, T.Y. Cheung, Property-preserving composition by place merging, J. Circuits, Systems and Computers, to appear.
23. I. Koh, and F. DiCesare Modular transformation methods for generalized petri nets and their applications in manufacturing automation IEEE Trans. Systems Man Cybernetics 21 1991 963 973
24. B.H. Krogh, C.L. Beck, Synthesis of place/transition nets for simulation and control of manufacturing systems, Proc. IFIP Symp. on Large Scale Systems (1986) 661-666.
25. H. Lee-Kwang Generalized petri net reduction method IEEE Trans. Systems Man Cybernetics 17 2 1987 297 303
26. W.M. Mak, Verifying property preservation for component-based software systems (a petri-net based methodology), Ph.D. Thesis, Department of Computer Science, City University of Hong Kong, June 2001.
27. T. Murata Petri nets properties, analysis, and applications Proc. IEEE 77 4 1985 541 580
28. Y. Narahari, and N. Viswanadham A petri net approach to the modeling and analysis of flexible manufacturing systems Ann. Operat. Res. 3 1995 449 472
29. Y. Souissi On liveness preservation by composition of nets via a set of places Lecture Notes in Comput. Sci. 524 1990 277 295
30. I. Suzuki, and T. Murata A method for stepwise refinement and abstraction of petri nets J. Comput. System Sci. 27 1983 51 76
31. R. Valette Analysis of petri nets by stepwise refinements J. Comput. System Sci. 18 1979 35 46
32. K.S. Valvanis On the hierarchical analysis and simulation of flexible manufacturing systems with extended petri nets IEEE Trans. System Man Cybernetics 20 1 1990 94 100
33. M. Zhou, Generalizing parallel and sequential mutual exclusions for petri net synthesis of manufacturing systems, IEEE Int. Conf. on Emerging Technologies and Factory Automation, Vol. 1, Hawaii, November, 1996. pp. 49-55.
34. M. Zhou, and F. DiCesare Petri Net Synthesis for Discrete Event Control of Manufacturing Systems 1993 Kluwer Academic Publishers Dordrecht
35. M. Zhou, and K. Venkatesh Modeling, Simulation, and Control of Flexible Manufacturing Systems a Petri Net Approach 1999 World Scientific Publishing Co. Pte. Ltd.