Petri nets: applications and relationships to other models of concurrency - Brauer W Ed.; Reisig W Ed.; Rozenberg G Ed. (Berlin Springer Verlag, 1987)
Keywords: Computer programming