DocumentCode
1386409
Title
Modular modeling using Petri nets
Author
Wang, Liming ; Xie, Xiaolan
Author_Institution
Inst. Nat. de Recherche en Inf. et Autom., Metz, France
Volume
12
Issue
5
fYear
1996
fDate
10/1/1996 12:00:00 AM
Firstpage
800
Lastpage
809
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;
fLanguage
English
Journal_Title
Robotics and Automation, IEEE Transactions on
Publisher
ieee
ISSN
1042-296X
Type
jour
DOI
10.1109/70.538984
Filename
538984
Link To Document