Title :
Modular modeling using Petri nets
Author :
Wang, Liming ; Xie, Xiaolan
Author_Institution :
Inst. Nat. de Recherche en Inf. et Autom., Metz, France
fDate :
10/1/1996 12:00:00 AM
Abstract :
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
Keywords :
Petri nets; identification; manufacturing processes; modelling; production control; Petri nets; extended controllable-output nets; identification; manufacturing systems; modular modeling; output transitions; Automatic control; Control systems; Controllability; Large-scale systems; Manufacturing systems; Petri nets; Robotics and automation; Transportation;
Journal_Title :
Robotics and Automation, IEEE Transactions on
