Petri nets are a well-known model for parallel systems, used for both applications and theoretical studies. They can be used for specification, modelling and analysis, and offer a graphical representation and a clear view of concurrency. For the design of large systems, modular construction is indispensible, and considerable effort has been spent on studying the modular construction of Petri nets.