Concurrency, Synchronization, and Conflicts in Petri Nets

  • Authors:
  • Hsu-Chun Yen

  • Affiliations:
  • Dept. of Electrical Engineering, National Taiwan University, Taipei, Taiwan, R.O.C. and Dept. of Computer Science, Kainan University, Taoyuan, Taiwan, R.O.C.

  • Venue:
  • CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Petri nets represent one of the most popular formalisms for specifying, modeling, and analyzing concurrent systems. In spite of their popularity, many interesting problems concerning Petri nets are either undecidable or of very high complexity. Lipton [7] and Rackoff [10] showed exponential space lower and upper bounds, respectively, for the boundedness problem. As for the containment and the equivalence problems, Rabin [1] and Hack [5], respectively, showed these two problems to be undecidable. The reachability problem is known to be decidable [8] and exponential-space-hard [7].