A new modified reachability tree approach and its applications to unbounded petri nets

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 43, Issue 4, 2013, Pages 932-940

  Wang, Shouguang ^a   Zhou, Mengchu ^b,c   Li, Zhiwu ^d   Wang, Cheng Ying ^a  

^a ZHEJIANG GONGSHANG UNIVERSITY   (China)

^b Department of Computer Science and Technology   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^d XIDIAN UNIVERSITY   (China)

Author keywords

Deadlock; Petri net; Reachability tree (RT)

Indexed keywords

DEADLOCK; DEADLOCK ANALYSIS; INITIAL MARKING; ITS APPLICATIONS; REACHABILITY TREE;

FORESTRY;

PETRI NETS;

ALGORITHMS; FORESTRY;

EID: 84887030537     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2012.2226878     Document Type: Article

References (40)

1. Z. J. Ding, C. J. Jiang, andM. C. Zhou, Deadlock checking for one-place unbounded Petri nets based on modified reachability trees, IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 38, no. 3, pp. 881-883, Jun. 2008.
2. M. D. Jeng and M. Y. Peng, On the liveness problem of 1-placeunbounded Petri nets, in Proc. IEEE Int. Conf. Syst., Man, Cybern., Orlando, FL, 1997, pp. 3221-3226.
3. M. D. Jeng and M. Y. Peng, Augmented reachability trees for 1-placeunbounded generalized Petri nets, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 29, no. 2, pp. 173-183, Mar. 1999.
4. R. Karp and R. Miller, Parallel program schemata, J. Comput. Syst. Sci., vol. 3, no. 2, pp. 147-195, May 1969.
5. T. Murata, Petri nets: Properties, analysis and applications, Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
6. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
7. Y. Ru, W. M. Wu, and C. N. Hadjicostis, Comments on 'A modified reachability tree approach to analysis of unbounded Petri nets', IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 36, no. 5, p. 1210, Oct. 2006.
8. F. Y. Wang, A modified reachability tree for Petri nets, in Proc. IEEE Int. Conf. Syst., Man, Cybern., Charlottesville, VA, 1991, pp. 329-334.
9. F. Y. Wang, Y. Q. Gao, and M. C. Zhou, A modified reachability tree approach to analysis of unbounded Petri nets, IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 34, no. 1, pp. 303-308, Feb. 2004.
10. N. Q. Wu, L. P. Bai, and C. B. Chu, Modeling and conflict detection of crude oil operations for refinery process based on controlled colored timed Petri net, IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 37, no. 4, pp. 461-472, Jul. 2007.
11. N. Q. Wu, Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model, IEEE Trans. Syst., Man, Cybern. C, Appl Rev., vol. 29, no. 2, pp. 192-204, May 1999.
12. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. London, U.K.: Springer-Verlag, Feb. 2009.
13. M. P. Fanti, Deadlock resolution strategy for automated manufacturing systems including conjunctive resource service, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 80-92, Jan. 2004.
14. M. P. Fanti and M. C. Zhou, Deadlock control methods in automated manufacturing systems, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 5-22, Jan. 2004.
15. M. P. Fanti, B. Maione, and B. Turchiano, Comparing digraph and Petri net approaches to deadlock avoidance in FMS, IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 30, no. 5, pp. 783-798, Oct. 2000.
16. N. Q. Wu and M. C. Zhou, System Modeling and Control With Resource-Oriented Petri Nets. New York: CRC Press, 2010.
17. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. London, U.K.: Springer-Verlag, 2007.
18. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
19. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.
20. J. Li, M. C. Zhou, and X. Dai, Algebraic reduction and refinement of Petri Nets, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 5, pp. 1244-1255, Sep. 2012.
21. Z. Ding, C. Jiang, M. C. Zhou, and Y. Y. Zhang, Preserving languages and properties in stepwise refinement-based synthesis of Petri Nets, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 4, pp. 791-801, Jul. 2008.
22. Y. F. Chen, Z.W. Li, M. Khalgui, and O. Mosbahi, Design of a maximally permissive liveness-enforcing Petri Net supervisor for flexible manufacturing systems, IEEE Trans. Autom. Sci. Eng., vol. 8, no. 2, pp. 374-393, Apr. 2011.
23. Y. Du, C. Jiang, and M. C. Zhou, Modeling and analysis of real-time cooperative systems using Petri Nets, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 37, no. 5, pp. 643-654, Sep. 2007.
24. H. S. Hu,M. C. Zhou, and Z.W. Li, Supervisor optimization for deadlock resolution in automated manufacturing systems with Petri Nets, IEEE Trans. Autom. Sci. Eng., vol. 8, no. 4, pp. 794-804, Oct. 2011.
25. J. S. Lee, M. C. Zhou, and P. L. Hsu, An application of Petri nets to supervisory control for human-computer interactive systems, IEEE Trans. Ind. Electron., vol. 52, no. 5, pp. 1220-1226, Oct. 2005.
26. Z. W. Li, H. S. Hu, and A. R. Wang, Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri Nets, IEEE Trans. Syst., Man, Cybern. C Appl. Rev., vol. 37, no. 4, pp. 517-526, Jul. 2007.
27. G. J. Liu, C. J. Jiang, andM. C. Zhou, Process Nets with channels, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 1, pp. 213-225, Jan. 2012.
28. W. Tan, Y. Fan, M. Zhou, and Z. Tian, Data-driven service composition in building SOA solutions: A Petri Net approach, IEEE Trans. Autom. Sci. Eng., vol. 7, no. 3, pp. 686-694, Jul. 2010.
29. N. Wu and W. Q. Zeng, Deadlock avoidance in AGV system using colored Petri net model, Int. J. Prod. Res., vol. 40, no. 1, pp. 223-238, 2002. (Pubitemid 34593854)
30. N. Wu and M. C. Zhou, Deadlock modeling and control of automated guided vehicle systems, IEEE/ASME Trans. Mechatronics, vol. 9, no. 1, pp. 50-57, Mar. 2004.
31. N. Wu and M. C. Zhou, Deadlock and blocking-free shortest routing of bi-directional automated guided vehicles, IEEE/ASME Trans. Mechatronics, vol. 12, no. 1, pp. 63-72, Feb. 2007.
32. K. Xing, M. Zhou, X. Yang, and F. Tian, Optimal Petri Net-based polynomial-complexity deadlock avoidance policies for automated manufacturing systems, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 39, no. 1, pp. 188-199, Jan. 2009.
33. P. C. Xiong, Y. S. Fan, and M. C. Zhou, QoS-aware web service configuration, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 4, pp. 888-895, Jul. 2008.
34. S. G. Wang, C. Y. Wang, and Y. P. Yu, Comments on 'Siphon-based deadlock prevention policy for flexible manufacturing systems, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 2, pp. 338-340, Mar. 2011.
35. S. G.Wang, C. Y.Wang, M. C. Zhou, and Z.W. Li, A method to compute strict minimal siphons in S3PR based on loop resource subsets, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 1, pp. 226-237, Jan. 2012.
36. S. G. Wang, C. Y. Wang, and M. C. Zhou, Controllability conditions of resultant siphons in a class of Petri Nets, IEEE Trans. Syst.,Man, Cybern. A, Syst., Humans, vol. 42, no. 5, pp. 1206-1215, Sep. 2012.
37. Z. W. Li and M. C. Zhou, Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 38-51, 2004.
38. Z. W. Li, N. Q. Wu, and M. C. Zhou, Deadlock control of automated manufacturing systems based on petri nets-A literature review, IEEE Trans. Syst., Man, Cybern. C, vol. 42, no. 4, pp. 437-462, 2012.
39. Y. F. Chen and Z. W. Li, Design of a maximally permissive livenessenforcing supervisor with a compressed supervisory structure for flexible manufacturing systems, Automatica, vol. 47, no. 5, pp. 1028-1034, 2011.
40. Z. W. Li, G. Y. Liu, M.-H. Hanisch, and M. C. Zhou, Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems, IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 1, pp. 178-191, 2012.