Deadlock checking for one-place unbounded Petri nets based on modified reachability trees

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 38, Issue 3, 2008, Pages 881-883

  Ding, ZhiJun ^a   Jiang, ChangJun ^b   Zhou, MengChu ^c,d  

^a SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b TONGJI UNIVERSITY   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^d XIDIAN UNIVERSITY   (China)

Author keywords

Automated manufacturing systems; Deadlock; Petri net; Reachability tree

Indexed keywords

ALGORITHMS; MATHEMATICAL MODELS; TREES (MATHEMATICS);

AUTOMATED MANUFACTURING SYSTEMS; DEADLOCK CHECKING; REACHABILITY TREE;

PETRI NETS;

ALGORITHM; ARTIFICIAL NEURAL NETWORK; COMPUTER SIMULATION; LETTER; STATISTICAL MODEL;

ALGORITHMS; COMPUTER SIMULATION; MODELS, STATISTICAL; NEURAL NETWORKS (COMPUTER);

EID: 44849128921     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCB.2008.917177     Document Type: Article

References (12)

1. 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.
2. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. London, U.K.: Springer-Verlag, 2007.
3. 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.
4. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri nets and their applications to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 38-51, Jan. 2004.
5. J. Q. Li, Y. S. Fan, and M. C. Zhou, "Performance modeling and analysis of workflow," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 2, pp. 229-242, Mar. 2004.
6. J. S. Lee, M. C. Zhou, and P. L. Hsu, "Multiparadigm modeling for hybrid dynamic systems using Petri net framework," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 2, pp. 493-498, Mar. 2008.
7. M. D. Jeng and M. Y. Peng, "Augmented reachability trees for 1-place-unbounded generalized Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 29, no. 2, pp. 173-183, Mar. 1999.
8. R. Karp and R. Miller, "Parallel program schemata," J. Comput. Syst. Sci., vol. 3, no. 2, pp. 147-195, May 1969.
9. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
10. 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.
11. 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.
12. 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.