Reachability in live and safe free-choice Petri nets is NP-complete

Theoretical Computer Science

Volumn 198, Issue 1-2, 1998, Pages 211-224

  Esparza, Javier ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346244056     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00235-1     Document Type: Article

References (11)

1. F. Commoner, Deadlocks in Petri nets, Tech. Report CA-7206-2311, Applied Data Research, Inc., Wakefield, MA, 1972.
2. J. Desel, J. Esparza, Reachability in cyclic extended free choice systems, Theoret. Comput. Sci. 114 (1993) 93-118.
3. J. Desel, J. Esparza, Free-choice Petri nets, Cambridge Tracts in Theoretical Computer Science, vol. 40, Cambridge University Press, Cambridge, 1995.
4. J. Esparza, M. Silva, A polynomial-pime algorithm to prove liveness of bounded free choice nets, Theoret. Comput. Sci. 102 (1992) 185-205.
5. M.R. Garey, D.S. Johnson, Computers and Intractability: A Guide to the Theory of NP-completeness, Freeman, New York, 1979.
6. M.H.T. Hack, Analysis of production schemata by Petri nets, M.S. Thesis, MIT, Cambridge, MA, Department Electronical Engineering, 1972.
7. J.E. Hopcroft, J. Ullman, Introduction to Automata Theory, Languages and Computation, Addison-Wesley, Reading, MA, 1979.
8. A.V. Kovalyov, An O(|S|X|T|)-Algorithm to verify liveness and boundedness in extended free choice nets, in: Proc. 10th IEEE Internat. Symp. on Intelligent Control, 1995, pp. 597-601.
9. A. Kovalyov, J. Esparza, A polynomial algorithm to compute the concurrency relation of free choice signal transition graphs, in: Proc. IEEE Internat. Workshop on Discrete Evnt Systems WODES '96, 1996, pp. 1-6.
10. D.-I. Lee, S. Kumagai, S. Kodama, Handles and reachability analysis of free choice nets, in: G. De Michelis, M. Diaz (Eds.), Proc. 16th Internat. Conf. on Application and Theory of Petri-Nets, Lecture Notes in Computer Science, vol. 935, Springer, Berlin, 1995, pp. 298-315.
11. P. Starke, Analyse von Petri-Netz-Modellen, Teubner, Stuttgart, 1990.