Petri net analysis using boolean manipulation (1994)

by E Pastor, O Roig, J Cortadella, R M Badia
Venue:In PNPM, vol. 815 of LNCS