For the most recent entries see the Petri Nets Newsletter.

Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets.

Best, Eike; Wimmel, Harro

In: Nielsen, M.; Simpson, D.: Lecture Notes in Computer Science, Vol. 1825: 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus, Denmark, June 2000, pages 63-82. Springer-Verlag, 2000.

Abstract: It is a well-known fact that for every k-safe Petri net, i.e. a Petri net in which no place contains more than k tokens under any reachable marking, there is a 1-safe Petri net with the same interleaving behaviour. Indeed these types of Petri nets generate regular languages. In this paper, we show that this equivalence of k-safe and 1-safe Petri nets holds also for their pomset languages, a true-concurrency semantics.

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

Back to the Petri Nets Bibliography