In: Ajmone Marsan, M.: Lecture Notes in Computer Science, Vol. 691; Application and Theory of Petri Nets 1993, Proceedings 14th International Conference, Chicago, Illinois, USA, pages 224-241. Springer-Verlag, 1993.
Also in: Journal of Computer and System Sciences, Vol. 51, No. 2, pages 314-323. 1995.
Abstract: We prove the following property for safe conflict-free Petri nets and live and safe extended free-choice Petri nets: Given two markings M1, M2 of the reachability graph, if some path leads from M1 to M2, then some path of polynomial length in the number of transitions of the net leads from M1 to M2.
Keywords: conflict-free Petri nets, free-choice Petri nets, marked graphs.
Back to the Petri Nets Bibliography