Title: Decidability questions for bisimilarity of Petrinets and some related problems
First published: 1993
Subjects: Petri nets