For the most recent entries see the Petri Nets Newsletter.

Finite Unfoldings of Unbounded Petri Nets.

Desel, Jörg; Juhás, Gabriel; Neumair, Christian

In: Proceedings of Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, pages 157-176. Volume 3099 of Lecture Notes in Computer Science / Cortadella, Reisig (Eds.) --- Springer-Verlag, September 2004.

Abstract: The aim of this paper is to introduce a concept for an efficient representation of the behavior of an unbounded Petri net. This concept combines a known method for the description of unbounded Petri nets, namely coverability trees, with an efficient, partial order based method developed for bounded Petri nets, namely Petri net unfoldings.

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

Back to the Petri Nets Bibliography