A reduced reachability tree for a class of unbounded petri nets

IEEE/CAA Journal of Automatica Sinica

Volumn 2, Issue 4, 2015, Pages 345-352

  Wang, Shouguang ^a,b   Gan, Mengdi ^c   Zhou, Mengchu ^c   You, Dan ^d  

^a ZHEJIANG GONGSHANG UNIVERSITY   (China)

^b XI'AN JIAOTONG UNIVERSITY   (China)

^c Ministry of Education   (China)

^d NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

deadlock; Petri nets; reachability tree

Indexed keywords

PETRI NETS;

ANALYSIS TOOLS; BOUNDEDNESS; DEADLOCK; GENERALIZED NET; LIVENESS; REACHABILITY; REACHABILITY TREE; TREE SIZE;

FORESTRY;

EID: 84945184468     PISSN: 23299266     EISSN: 23299274     Source Type: Journal    
DOI: 10.1109/JAS.2015.7296528     Document Type: Article

References (30)

1. Hrz B, Zhou M C. Modeling and Control of Discrete-Event Dynamic Systems. London, UK: Springer, 2007
2. Ding Z H, Zhou M C, Wang S G. Ordinary differential equationbased deadlock detection. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014, 44(10): 1435-1454
3. Hu H S, Zhou M C. A Petri net-based discrete-event control of automated manufacturing systems with assembly operations. IEEE Transactions on Control Systems Technology, 2015, 23(2): 513-524
4. Karp R M, Miller R E. Parallel program schemata. Journal of Computer and System Sciences, 1969, 3(2): 147-195
5. Li Z W, Zhou M C. Deadlock Resolution in Automated Manufacturing Systems: a Novel Petri Net Approach. London: Springer, 2009
6. Murata T. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 1989, 77(4): 541-580
7. Peterson J L. Petri Net Theory and the Modeling of Systems. NJ: Prentice-Hall, 1981
8. Wu N Q, Zhou M C, Chu F, Mammar S. Modeling, analysis, scheduling, and control of cluster tools in semiconductor fabrication. Contemporary Issues in Systems Science and Engineering. Hoboken, NJ: Wiley/IEEE Press, 2015. 289-315
9. Yang F J, Wu N Q, Qiao Y, Zhou M C. Petri net-based optimal one-wafer cyclic scheduling of hybrid multi-cluster tools in wafer fabrication. IEEE Transactions on Semiconductor Manufacturing, 2014, 27(2): 192-203
10. Zhou M C, Dicesare F. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. London: Kluwer Academic Publishers, 1993
11. Zhou M C, Venkatesh K. Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998
12. Ding Z J, Jiang C J, Zhou M C. Deadlock checking for one-place unbounded Petri nets based on modified reachability trees. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 2008, 38(3): 881-883
13. Jeng M D Peng M Y. On the liveness problem of 1-place-unbounded Petri nets. In: Proceedings of the 1997 IEEE International Conference on Systems, Man, and Cybernetics, Computational Cybernetics and Simulation. Orlando, FL: IEEE, 1997. 3221-3226
14. Jeng M D, Peng M Y. Augmented reachability trees for 1-placeunbounded generalized Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 1999, 29(2): 173-183
15. Ru Y, Wu W W, Hadjicostis C N. Comments on a modified reachability tree approach to analysis of unbounded Petri nets . IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 2006, 36(5): 1210
16. Wang F Y. A modified reachability tree for Petri nets. In: Proceedings of the 1999 IEEE International Conference on Systems, Man, and Cybernetics. Charlottesville, VA: IEEE, 1991. 329-334
17. Wang F Y, Gao Y Q, Zhou M C. A modified reachability tree approach to analysis of unbounded Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 2004, 34(1): 303-308
18. Wang S G, Zhou M C, Li Z W, Wang C Y. A new modified reachability tree approach and its applications to unbounded Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2013, 43(4): 932-940
19. Wang Y H, Jiang B, Jiao L. Property checking for 1-place-unbounded Petri nets. In: Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE). Taipei, China: IEEE, 2010. 117-125
20. Fu Jian-Feng, Dong Li-Da, Xu Shan-Shan, Zhu Dan, Zhu Cheng-Cheng. An improved liveness condition for S4PR nets. Acta Automatica Sinica, 2013, 39(9): 1439-1446 (in Chinese)
21. Li Z W, Wang A R. A Petri net based deadlock prevention approach for flexible manufacturing systems. Acta Automatica Sinica, 2003, 29(5): 733-740
22. Xing Ke-Yi, Tian Feng, Yang Xiao-Jun, Hu Bao-Sheng. Polynomialcomplexity deadlock avoidance policies for automated manufacturing systems. Acta Automatica Sinica, 2007, 33(8): 893-896 (in Chinese)
23. Wang S G, Gan M D, Zhou M C. Macro liveness graph and liveness of !-independent unbounded nets. Science China Information Sciences, 2015, 58(3): 032201
24. Wong H M, Zhou M C. Automated generation of modified reachability trees for Petri nets. In: Proceedings of the 1992 Regional Control Conference. Brooklyn, NY, 1992. 119-121
25. Huang Y S, Pan Y L, Zhou M C. Computationally improved optimal deadlock control policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 2012, 42(2): 404-415
26. Huang Y S, Weng Y S, Zhou M C. Modular design of urban traffic-light control systems based on synchronized timed Petri nets. IEEE Transactions on Intelligent Transportation Systems, 2014, 15(2): 530-539
27. Pan L, Ding Z J, Zhou M C. A configurable state class method for temporal analysis of time Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014, 44(4): 482-493
28. Cheng J J, Cheng J L, Zhou M C, Liu F Q, Gao S C, Liu C. Routing in internet of vehicles: a review. IEEE Transactions on Intelligent Transportation Systems, to be published
29. Ding Z H, Zhou Y, Jiang M Y, Zhou M C. A new class of Petri nets for modeling and property verification of switched stochastic systems. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2015, 45(7): 1087-1100
30. Lee J S, Zhou M C, Hsu P L. Multiparadigm modeling for hybrid dynamic systems using a Petri net framework. IEEE Transactions on Systems, Man, and Cybernetics: Part A: Systems and Humans, 2008, 38(2): 493-498