For the most recent entries see the Petri Nets Newsletter.

Liveness in Bounded Petri Nets which are Covered by T-Invariants.

Lautenbach, K.; Ridder, H.

In: 93, Universität Koblenz-Landau: Fachberichte Informatik 5. 1993.

Also in: Valette, R.: Lecture Notes in Computer Science, Vol. 815; Application and Theory of Petri Nets 1994, Proceedings 15th International Conference, Zaragoza, Spain, pages 358-375. Springer-Verlag, 1994.

Abstract: In this paper a criterion is introduced that is sufficient for the liveness in Petri nets which are bounded and covered by non-negative T-invariants

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography