Parallel and Sequential Mutual Exclusions for Petri Net Modeling of Manufacturing Systems with Shared Resources

IEEE Transactions on Robotics and Automation

Volumn 7, Issue 4, 1991, Pages 515-527

  Zhou, MengChu ^a   DiCesare, Frank ^b  

^a NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^b RENSSELAER POLYTECHNIC INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED MANUFACTURING--MATHEMATICAL MODELS; MATHEMATICAL MODELS--APPLICATIONS;

BOUNDED/LIVE/REVERSIBLE NETS; PARALLEL MUTUAL EXCLUSION (PME); PETRI NET MODELING; SEQUENTIAL MUTUAL EXCLUSION (SME); SHARED RESOURCES MANUFACTURING SYSTEMS;

MATHEMATICAL TECHNIQUES;

EID: 0026204001     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.86081     Document Type: Article

References (37)

1. T. Agerwala and Y. Choed-Amphai, “A synthesis rule for concurrent systems,” in Proc. 15th Design Automat. Conf. (Las Vegas, NV), 1978, pp. 305-311.
2. T. Agerwala, “Putting Petri nets to work,” Computer, vol. 12, no. 12, pp. 85-94, 1979.
3. J. S. Ahuja and K. P. Valavanis, “A hierarchical modeling methodology for flexible manufacturing systems using extended Petri nets,” in Proc. Int. Conf. Comput. Integrated Manufact. (Troy, NY), May 1988, pp. 350-356.
4. R. Y. Al-Jaarand A. A. Desrochers, “Petri nets in automation and manufacturing,” in G. N. Saridis, Ed., Advanced in Automation and Robotics, vol. 2. JAI Press, 1991, to be published.
5. C. Berge, The Theory of Graphs. New York: 1962.
6. G. Berthelot, “Checking properties of nets using transformations,” in G. Rozenberg, Ed., Advanced in Petri Nets 1985. New York: Springer-Verlag, 1985, pp. 19-40.
7. M. Courvoisier, R. Valette, J. M. Bigou, and P. Esteban, “A programmable logic controller based on a high level specification tool,” in Proc. IECON (San Francisco, CA), 1983, 174-179.
8. D. Crockett, A. Desrochers, F. DiCesare, and T. Ward, “Implementation of a Petri net controller for a machining workstation,” in Proc. IEEE Robotics Automat. Conf. (Raleigh, NC), Mar. 1987, pp. 1861-1867.
9. A. Datta and S. Ghosh, “Synthesis of a class of deadlock-free Petri nets,” J. Ass. Comput. Mach., vol. 31, no. 3, pp. 486-506, 1984.
10. A. Datta and S. Ghosh, “Modular synthesis of deadlock-free control structures,” in G. Goos and J. Hartmanis, Eds., Foundations of Software Technology and Theoretical Computer Science, vol. 241. New York: Springer-Verlag, 1986, pp. 288-318.
11. 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, 1981.
12. B. H. Krogh and C. L. Beck, “Synthesis of place/transition nets for simulation and control of manufacturing Systems,” in Proc. 4th IFAC/IFORS Symp. Large Scale Systems (Zurich), 1986.
13. 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, 1985.
14. J. Magott, “Performance evaluation of systems of cyclic sequential processes with mutual exclusion using Petri nets,” Info. Process. Letts., vol. 21, pp. 229-232, 1985.
15. J. Martinez, H. Alla, and M. Silva, “Petri nets for the specifications of FMSs,” in A. Kusiak, Ed., Modeling and Design of Flexible Manufacturing Systems. Amsterdam: Elsevier, 1986, pp. 389-406.
16. T. Murata, “Synthesis of decision-free concurrent systems for prescribed resources and performance,” IEEE Trans. Software Eng., vol. SE-6, no. 6, pp. 525-530, 1980.
17. T. Murata and J. Y. Koh, “Reduction and expansion of live and safe marked graphs,” IEEE Trans. Circuits Syst., vol. CAS-27, pp. 68-70, 1980.
18. T. Murata, N. Komoda, and K. Matsumoto, “A Petri net based controller for flexible and maintainable sequence control and its applications in factory automation,” IEEE Trans Ind. Electron., vol. IE-33, pp. 1-8, 1986.
19. T. Murata, “Petri nets: properties, analysis and application,” Proc. IEEE, vol. 77, no. 4, pp. 541-579, 1989.
20. Y. Narahari and N. Viswanadham, “A Petri net approach to the modeling and analysis of flexible manufacturing systems,” Ann. Operations Res., vol. 3, pp. 449-472, 1985.
21. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
22. M. Silva and S. Velilla, ”Programmable logic controller and Petri nets: a comparative study,” in Proc. IFAC Conf. Software Computer Control 1982, pp. 38-88.
23. M. Silva, Las redes de Petri en la Automatica y la Informatica. Madrid: Editorial AC, 1985.
24. M. Silva, “Towards a synchronization theory for P/T nets,” in K. Voss, H. J. Genrich, G. Rozenberg, Eds. Concurrency and Nets. New York: Springer-Verlag, 1987, pp. 435-460.
25. 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.
26. R. Valette, “Analysis of Petri nets by stepwise refinements,” J. Comput. Syst. Sci., vol. 18, 35-46, 1979.
27. R. Valette, M. Courvoisier, and D. Mayeux, “Control of flexible production systems and Petri nets,” Informatik Fachberichte 66. Berlin: Springer-Verlag, 1982, 264-267.
28. R. Valette, “Nets in production systems,” in W. Brauer, W. Reisig, and G. Rozenberg, Eds., Advance in Petri Nets 1986, vol. 255, part I. New York: Springer-Verlag, 1986, 191-217.
29. J. L. Villarroel, J. Martinez, and M. Silva, “GRAMAN: A graphic system for manufacturing system design,” in Proc. IMACS Int. Symp. Syst. Model & Simul. (SMS’88) (Cetraro, Italy), 1988.
30. M. C. Zhou, F. DiCesare, and A. A. Desrochers, “A top-down modular approach to synthesis of Petri net models for manufacturing systems,” in Proc. IEEE Robotics Automat. Conf. (Scottsdale, AZ), 1989, pp. 534-539.
31. M. C. Zhou, and F. DiCesare, “Adaptive design of Petri net controllers for error recovery in automated manufacturing systems,” IEEE Trans. Syst. Man, Cybern., vol. 19, no. 5, pp. 963-973, May 1989.
32. M. C. Zhou, and F. DiCesare, “A Petri net design method for automated manufacturing systems with shared resources,” in Proc. IEEE Robotics Automat. Conf. (Cincinnati, OH), May 1990, pp. 526-531.
33. M. C. Zhou, and F. DiCesare, “Modeling buffers in automated manufacturing systems using Petri nets,” in Proc. Int. Conf. Comput. Integrated Manufact. (Troy, NY), May 1990, pp. 265-272.
34. M. C. Zhou, F. DiCesare, and D. Rudolph, “Control of a flexible manufacturing system using Petri nets,” in Proc. 11th IFAC World Congress, vol. 9 (Tallinn, USSR), Aug. 1990, pp. 43-48.
35. M. C. Zhou, “A theory for the synthesis and augmentation of Petri nets in automation,” Ph.D. dissertation, Dept. of Electrical, Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY, May 1990.
36. M. C. Zhou, F. DiCesare, and A. A. Desrochers, “A hybrid methodology for synthesis of Petri net models for manufacturing systems,” Working Paper, ECSE, Rensselaer Polytechnic Institute, Troy, NY, 1990.
37. M. C. Zhou and M. C. Leu, “Petri net modeling of a flexible assembly workstation for printed circuit boards,” in Proc. IEEE Robotics Automat. Conf. (Sacramento, CA), Apr. 1991, pp. 2530-2535.