Modular Construction and Partial Order Semantics of Petri Nets

Petri nets and their semantics.- Parallel composition and deadlocking.- Behaviour preserving refinement of places and transitions.- Action refinement and interval words.- Action refinement and bisimulation.- Partial order semantics for nets with capacities.- Concluding remarks.