A class of Petri nets for modular modeling

This paper addresses the issue of integration in modeling large-scale systems using Petri nets based modular modeling approaches. We introduce a class of Petri nets called extended controllable-output nets (ECO nets). These nets are consistent, live and reversible. We show that the integration of such Petri nets preserves these properties under some fairly weak conditions. Furthermore, the integrated model is itself an ECO net.