A Modified Reachability Tree Approach to Analysis of Unbounded Petri Nets

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

Volumn 34, Issue 1, 2004, Pages 303-308

  Wang, Fei Yue ^a,b   Gao, Yanqing ^a,b   Zhou, MengChu ^a,c  

^a INSTITUTE OF AUTOMATION   (China)

^b UNIVERSITY OF ARIZONA   (United States)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Analysis method; Discrete event systems; Petri nets; Reachability tree

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SYSTEM RECOVERY; FUNCTIONS; PROBLEM SOLVING; THEOREM PROVING; TREES (MATHEMATICS); VECTORS;

ANALYSIS METHODS; DISCRETE EVENT SYSTEMS; REACHABILITY TREES;

PETRI NETS;

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

References (9)

1. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.
2. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
3. T. Murata, "Petri nets: Properties, analysis and application," Proc. IEEE, vol. 77, no. 4, pp. 541-579, 1989.
4. R. Karp and R. Miller, "Parallel program schemata," J. Comput. Syst. Sci., vol. 3, no. 4, pp. 147-195, May 1969.
5. R. Keller. "Vector replacement systems: A formalism for modeling asynchronous systems," Computer Science Laboratory, Princeton University, Princeton, NJ, Tech. Rep. 117, 1972.
6. F.-Y. Wang, "A modified reachability tree for Petri nets," in Proc. IEEE Int. Conf. Systems, Man, Cybernetics, Aug. 1991, pp. 329-334.
7. H.-M. Wong and M. C. Zhou, "Automated generation of modified reachability trees for Petri nets," in Proc. 1992 Regional Control Conf., Brooklyn, NY, July 24-25, 1992, pp. 119-121.
8. M. Hack, "Decision problems for Petri nets and vector addition systems," Project MAC, MIT, Cambridge, MA, Tech. Memo 59, Mar. 1975.
9. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.