For the most recent entries see the Petri Nets Newsletter.

Unbounded Petri Net Synthesis.

Darondeau, Philippe

In: Lectures on Concurrency and Petri Nets: Advances in Petri Nets, pages 413-438. Volume 3098 of Lecture Notes in Computer Science / Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (Eds.) --- Springer-Verlag, June 2004.

Abstract: We address the problem of deciding uniformly for graphs or languages of a given class whether they are generated by unlabelled Place-Transition nets whose sets of reachable markings may be infinite.


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

Back to the Petri Nets Bibliography