Petri net analysis using boolean manipulation (1994)

by E Pastor, O Roig, J Cortadella, R Badia
Venue:Application and Theory of Petri Nets 1994, (Proc. 15th Int. Conf. on Applications and Theory of Petri Nets