Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets
R. Heckel, M. Chouikha, in: Proceedings of the Conference on Integrated Design &; Process Technology (IDPT 2002), Pasadena, CA (USA), Society of Design and Process Science, Grandview, TX, USA, 2002, pp. 63–77.