Some Properties of Timed Nets under the Earliest Firing Rule.

For the most recent entries see the Petri Nets Newsletter.

Some Properties of Timed Nets under the Earliest Firing Rule.

In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 424; Advances in Petri Nets 1989, pages 418-432. Berlin, Germany: Springer-Verlag, 1990.

Abstract: The author shows that timed nets under the earliest firing rule can be transformed equivalently to Petri nets working under the maximum firing strategy. Additionally, two sufficient conditions are given for live Petri nets to remain live under any timing.

Keywords: timed net; liveness; earliest firing rule.

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

Back to the Petri Nets Bibliography