Petri nets (1985)

by W Reisig
Venue:EATCS Monographs on Theoretical Computer Science