Applications of property-preserving algebras to component-based manufacturing system design

Journal of Information Science and Engineering

Volumn 23, Issue 1, 2007, Pages 167-181

  Huang, He Jiao ^a   Cheung, To Yat ^a   Wang, Xiao Long ^a  

^a HARBIN INSTITUTE OF TECHNOLOGY   (China)

Author keywords

Component based approach; Manufacturing system design; Petri net; Property preserving algebra; Verification

Indexed keywords

AGILE MANUFACTURING SYSTEMS; ALGEBRA; MACHINING; MATHEMATICAL MODELS; SPECIFICATIONS; SYSTEMS ANALYSIS;

MANUFACTURING SYSTEM (MS); PETRI NET PROCESS ALGEBRAS (PPPA);

PETRI NETS;

EID: 33846704101     PISSN: 10162364     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (30)

1. W. V. D Aalst, "Verification of workflow nets," Lecture Notes in Computer Science, Vol. 1248, 1997, pp. 407-426.
2. J. S. Ahuja and K. P. Valavanis, "A hierarchical modeling methodology for flexible manufacturing systems using extended Petri nets," in Proceedings of the International Conference on Computing Integrated Manufacture, 1988, pp. 350-356.
3. E. Best, R. Devillers, and M. Koutny, Petri Net Algebra, Springer, 2001.
4. W. Brauer, R. Gold, and W. Vogler, "A survey of behavior and equivalence preserving refinement of Petri nets," Lecture Notes in Computer Science, Vol. 483, 1990, pp. 1-46.
5. J. M. Colom, "The resource allocation problem in flexible manufacturing systems," Lecture Notes in Computer Science, Vol. 2679, 2003, pp. 23-35.
6. F. Chu and X. Xie, "Deadlock analysis of Petri nets using siphon and mathematical programming," IEEE Transactions on Robotics and Automation, Vol. 13, 1997, pp. 793-804.
7. T. Y. Cheung and W. Zeng, "Invariant-preserving transformations for the verification of place/transition systems," IEEE Transactions on Systems, Man and Cybernetics, Vol. 28, 1998, pp. 114-121.
8. A. Datta and S. Ghosh, "Synthesis of a class of deadlock-free Petri nets," Journal of ACM, Vol. 31, 1984, pp. 486-506.
9. G. Goos and J. Hartmanis, "Modular synthesis of deadlock-free control structures," Foundations of Software Technology and Theoretical Computer Science, Vol. 241, 1986, pp. 288-318.
10. C. Girault and R. Valk, Petri Nets for System Engineering - A Guide to Modeling, Verification, and Applications, Springer, 2003.
11. N. Hamerrlain, "Refinement of open protocols for modeling and analysis of complex interactions in multi-agent systems," Lecture Notes in Artificial Intelligence, Vol. 2691, 2003, pp. 423-434.
12. H. J. Huang, T. Y. Cheung, and W. M. Mak, "Structure and behavior preservation by Petri-net-based refinements in system design," Theoretical Computer Science, Vol. 328, 2004, pp. 245-269.
13. H. J. Huang, L. Jiao, and T. Y. Cheung, "Property-preserving composition of augmented marked graphs that share common resources," in Proceedings of the IEEE International Conference on Robotics and Automation, 2003, pp. 1446-1451.
14. H. J. Huang, L. Jiao, and T. Y. Cheung, "Property-preserving subnet reductions for designing manufacturing systems with shared resources," Theoretical Computer Science, Vol. 332, 2005, pp. 461-485.
15. M. D. Jeng and F. DeCesare, "A review of synthesis techniques for Petri nets with application to automated manufacturing systems," IEEE Transactions on System, Man, and Cybernetics, Vol. 23, 1993, pp. 301-312.
16. L. Jiao, H. J. Huang, and T. Y. Cheung, "Handling resource sharing by property-preserving reductions in Petri-net based system design," submitted to IEEE Transactions on Systems, Man and Cybernetics.
17. M. Kohler, D. Moldt, and H. Rolke, "Modeling the structure and behavior of Petri net agents," Lecture Notes in Computer Science, Vol. 2075, 2001, pp. 224-241.
18. M. Kohler, D. Moldt, and H. Rolke, "Modeling mobility and mobile agents using nets within nets," Lecture Notes in Computer Science, Vol. 2679, 2003, pp. 121-139.
19. S. Ling and S. W. Loke, "MIP-nets: a compositional model of multi-agent interaction," Lecture Notes in Artificial Intelligence, Vol. 2691, 2003, pp. 61-72.
20. W. M. Mak, "Verifying property preservation for component-based software systems (a Petri-net based methodology)," Ph.D. Thesis, Dept. of Computer Science, City University of Hong Kong, H.K., 2001.
21. T. Murata, "Petri nets: properties, analysis, and applications," in Proceedings of the IEEE, Vol. 77, 1985, pp. 541-580.
22. Y. Narahari and N. Viswanadham, "A Petri net approach to the modeling and analysis of flexible manufacturing systems," Annals of Operations Research 3, 1985, pp. 449-472.
23. S. A. Reveliotis, "Accommodating FMS operational contingencies through routing flexibility," in Proceedings of the IEEE International Conference on Robotics and Automation, 1998, pp. 573-579.
24. I. Suzuki and T. Murata, "A method for stepwise refinement and abstraction of Petri nets," Journal of Computer and System Sciences, Vol. 27, 1983, pp. 51-76.
25. Y. Souissi, "On liveness preservation by composition of nets via a set of places," Lecture Notes in Computer Science, Vol. 524, 1990, pp. 277-295.
26. I. L. Villarroel, J. Martinez, and M. Silva, "GRAMAN: a graphic system for manufacturing system design," in Proceedings of the IMACS International Symposium on Systems Model and Simulation, 1989, pp. 311-316.
27. H. Xu and S. M. Shatz, "A framework for model-based design of agent-oriented software," IEEE Transactions on Software Engineering, Vol. 29, 2003, pp. 15-30.
28. M. Zhou, F. DiCesare, and A. A. Desrochers, "A top-down modular approach to synthesis of Petri net models for manufacturing systems," in Proceedings of the IEEE International Conference on Robotics and Automation, 1989, pp. 534-539.
29. M. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic Publishers, 1993.
30. M. Zhou and K. Venkatesh, Modeling, Simulation, and Control of Flexible Manufacturing Systems: a Petri Net Approach, World Scientific Publishing Co. Pte. Ltd, 1999.