Petri nets (1985)

by W REISIG