Petri net models, functional abstractions, and reduction techniques: Applications to the design of automated manufacturing systems

IEEE Transactions on Industrial Electronics

Volumn 52, Issue 2, 2005, Pages 595-609

  Zurawski, Richard ^a,b  

^a UNIVERSITY OF TOKYO   (Japan)

^b ISA Corporation   (United States)

Author keywords

Flexible manufacturing systems (FMSs); Formal modeling; Formal validation; Functional abstractions; Petri nets; Reduction techniques

Indexed keywords

CONTROL SYSTEM SYNTHESIS; FACTORY AUTOMATION; MATHEMATICAL MODELS; PETRI NETS; THEOREM PROVING;

FORMAL MODELING; FORMAL VALIDATION; FUNCTIONAL ABSTRACTIONS; REDUCTION TECHNIQUES;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 17744368517     PISSN: 02780046     EISSN: None     Source Type: Journal    
DOI: 10.1109/TIE.2005.844225     Document Type: Article

References (27)

1. G. Berthelot, "Checking properties of nets using transformations," in Advances in Petri Nets, G. Rozenberg, Ed. Berlin, Germany: Springer-Verlag, 1985, pp. 19-40.
2. M. Der Jeng and F. DiCesare, "A review of synthesis techniques for Petri nets with applications to automated manufacturing systems," IEEE Trans. Syst., Man, Cybern., vol. 23, no. 1, pp. 301-312, Jan.-Feb. 1993.
3. R. Jonsonbaugh and T. Murata, "Additional methods for reduction and expansion of marked graphs," IEEE Trans. Circuits Syst., vol. CAS-28, no. 10, pp. 1009-1014, Oct. 1981.
4. M. Kamath and N. Viswanadham, "Applications of a Petri net based models in the modeling and analysis of flexible manufacturing systems," in Proc. IEEE Conf. Robotics and Automation, 1986, pp. 312-317.
5. I. Koh and F. DiCesare, "Modular transformation methods for generalized Petri nets and their application to automated manufacturing system," IEEE Trans. Syst., Man, Cybern., vol. 21, no. 6, pp. 1512-1521, Nov.-Dec. 1991.
6. B. Krogh and C. Beck, "Synthesis of place transition nets for simulation and control of manufacturing systems," in Proc. IFAC Large Scale Systems: Theory and Applications, 1986, pp. 583-588.
7. L. Lamport, "'Sometime' is sometimes 'not ever'," in Proc. 7th ACM Symp. Principles of Programming Languages, Las Vegas, NV, Jan. 1980, pp. 174-185.
8. K. H. Lee and J. Favrel, "Hierarchical reduction method for analysis and decomposition of Petri nets," IEEE Trans. Syst. Man, Cybern., vol. SMC-15, no. 2, pp. 272-280, Mar./Apr. 1985.
9. Z. Manna and P. Wolper, "Synthesis of communication processes from temporal logic specifications," Trans. Program. Lang. Syst., vol. 6, pp. 68-93, Jan. 1984.
10. T. Murata, "Circuits theoretic analysis and synthesis of marked graphs," IEEE Trans. Circuits Syst., vol. CAS-27, no. 7, pp. 400-405, Jul. 1977.
11. T. Murata and J. Y. Koh, "Reduction and expansion of live and safe marked graphs," IEEE Trans. Circuits Syst., vol. CAS-27, no. 1, pp. 68-70, Jan. 1980.
12. T. Murata, "Synthesis of decision-free concurrent systems for prescribed resources and performance," IEEE Trans. Softw. Eng., vol. SE-6, no. 6, pp. 525-530, Nov. 1980.
13. T. Murata, N. Komoda, K. Matsumóto, and K. Haruna, "A Petri net based controller for flexible and maintainable sequence control and its application in factory automation," IEEE Trans. Ind. Electron., vol. 33, no. 1, pp. 1-8, Feb. 1986.
14. Y. Narahari and N. Viswanadham, "A Petri net approach to the modeling and analysis of flexible manufacturing systems," Ann. Oper. Res., vol. 3, pp. 449-472, 1985.
15. Y. Narahari and N. Viswandham, "A Petri net based investigation of deadlocks in automated manufacturing systems," in CAD/CAM/CAE for Industrial Progress, V. Rajaraman, Ed. Amsterdam, The Netherlands: Elsvier, 1986, pp. 119-131.
16. S. Owicki and L. Lamport, "Proving liveness properties of concurrent programs," Trans. Program. Lang. Syst., vol. 4, pp. 455-495, Jul. 1982.
17. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
18. I. Suzuki and T. Murata, "A method for stepwise refinements and abstractions of Petri nets," J. Comput. Syst. Sci., vol. 27, pp. 51-76, 1983.
19. I. Suzuki, "Fundamental properties and application of temporal Petri nets," in Proc. 9th Annu. Conf. Information Sciences and Systems, Baltimore, MD, Mar. 1985, pp. 641-646.
20. I. Suzuki and H. Lu, "Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter," IEEE Trans. Comput., vol. 38, no. 5, pp. 696-704, May 1989.
21. R. Valette, "Analysis of Petri nets by stepwise refinements," J. Comput. Syst. Sci., vol. 18, pp. 35-46, 1979.
22. N. Viswanadham and Y. Narahari, "Colored Petri net models for automated manufacturing systems," in Proc. IEEE Conf. Robotics and Automation 1987, pp. 1985-1990.
23. M. Zhou, F. DiCesare, and A. Desrochers, "A hybrid methodology for synthesis of Petri net models for manufacturing systems," IEEE Trans. Robot. Autom., vol. 8, no. 3, pp. 350-361, 1992.
24. R. Zurawski and T. Dillon, "Specification, verification and performance evaluation of flexible manufacturing systems," in Computer Applications in Production and Engineering, F. Kimura and A. Rolstadas, Eds. Amsterdam, The Netherlands: Elsevier, 1989, pp, 517-525.
25. R. Zurawski and M. Zhou, "Petri nets and industrial Applications; a tutorial," IEEE Trans. Ind. Electron., vol. 41, no. 6, pp. 567-583, Dec. 1994.
26. R. Zurawski, "Sytematic construction of functional abstractions of Petri net models of flexible manufacturing systems," IEEE Trans. Ind. Electron., vol. 41, no. 6, pp. 584-592, Dec. 1994.
27. R. Zurawski, "Verifying correctness of interfaces of design models of manufacturing systems using functional abstractions," IEEE Trans. Ind. Electron., vol. 44, pp. 307-320, Jun. 1997.