Petri net analysis using boolean manipulation (1994)

by E Pastor, O Roig, J Cortadella, R M Badia
Venue:In Proc. ICATPN, LNCS 815