10403 Petr Jancar/Javier Esparza: Deciding finiteness of Petri nets up to bisimulation. Internet ca. 1996, 12p.