Modular modeling using Petri nets
Liming Wang, Xiaolan Xie · IEEE Transactions on Robotics and Automation · 1996
In this paper, we introduce a class of Petri nets with input and output transitions called extended controllable-output (ECO) nets. These nets are live and reversible. By appropriate control, it is possible to realize the output transitions in any given ratio while keeping the marking bounded. These properties are highly needed from a manufacturing point of view. Furthermore, we show that the integration of such Petri nets preserves these properties under some fairly weak conditions as the integrated model is also an ECO net.