Deciding finiteness of Petri nets up to bisimulation,” in (1996)

by P Jancar, J Esparza
Venue:Proc. 23rd Int. Colloquium on Automata, Languages and Programming,