Deciding Finiteness of Petri Nets Up To Bisimulation.

Petr Jancar, Javier Esparza

Browse the full ICALP paper archive.