For the most recent entries see the Petri Nets Newsletter.

Deciding Finiteness of Petri Nets Up To Bisimulation.

Jancar, Petr; Esparza, Javier

In: Lecture Notes in Computer Science, Vol. 1099; Automata, Languages and Programming, 23rd International Colloquium, ICALP'96, Paderborn, Germany, July 8-12, 1996, pages 478-489. 1996.

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

Back to the Petri Nets Bibliography