Modular Construction and Partial Order Semantics of Petri Nets