On Petri net modeling of automated manufacturing systems

2007 IEEE International Conference on Networking, Sensing and Control, ICNSC'07

Volumn , Issue , 2007, Pages 228-233

  Wu, Naiqi ^a,b   Zhou, Mengchu ^a,c   Hu, Gang ^a,b  

^a IEEE

^b GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER SYSTEM RECOVERY; MANUFACTURE; MATHEMATICAL MODELS; PROBLEM SOLVING; PROCESS CONTROL;

AUTOMATED MANUFACTURING SYSTEMS; MODELING METHODS; PROCESS ORIENTED PETRI NETS;

PETRI NETS;

EID: 34748829685     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICNSC.2007.372782     Document Type: Conference Paper

References (12)

1. F. Chu and X. L. Xie, Deadlock analysis of Petri nets using siphons and mathematical programming, IEEE Transactions on Robotics and Automation, vol. 13, no. 6, 793-8044, 1997.
2. J. Ezpeleta, J. M. Colom, and J. Martinez, A Petri net based deadlock prevention policy for flexible manufacturing systems, IEEE Transactions on Robotics and Automation, vol. 11, no. 2, 171-184, 1995.
3. Z. W. Li and M. C. Zhou, Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems, IEEE Transactions on Systems, Man, & Cybernetics, Part A, vol. 34, no. 1, 38-51, 2004.
4. N. Q. Wu, Avoiding deadlocks in automated manufacturing systems with shared material handling system, in Proc. of 1997 IEEE International Conf on Robotics and Automation, 1997, pp. 2427-2433.
5. N. Q. Wu, Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model, IEEE Trans. on Systems, Man, and Cybernetics, Part C, vol. 29, no. 2, pp. 192-204, 1999.
6. N. Q. Wu, and M. C. Zhou, Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems, IEEE Transactions on Robotics and Automation, vol. 17, no.5, 657-668, 2001.
7. N. Q. Wu and M. C. Zhou, Resource-oriented Petri nets in deadlock avoidance of AGV systems, in Proceedings of 2001 IEEE International Conference on Robotics and Automation, Seoul, Korea, pp. 64-69, May 2001.
8. X. Xie and M. D. Jeng, ERCN-merged nets and their analysis using siphons, IEEE Transactions on Robotics and Automation, vol. 15, no. 4, 692-703, 1999.
9. M. Zhou and F. DiCesare, Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources, IEEE Trans. on Robotics & Automation., 7(4), 515-527, 1991.
10. M. Zhou and F. DiCesare, Petri net synthesis for discrete event control of manufacturing systems, Kluwer Academic Publishers, Boston, 1993.
11. M. Zhou, F. DiCesare, and A. Desrochers, A hybrid methodology for synthesis of Petri nets for manufacturing systems, IEEE Trans. on Robotics and Automation, vol. 18, no. 3, 350-361, 1992.
12. M. C. Zhou and K. Venkatesh, Modeling, simulation and control of flexible manufacturing systems: Petri net approach, World Scientific, Singapore, 1998.