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