Modular construction and partial order semantics of Petri nets (1992)

by W Vogler