DocumentCode
300070
Title
A class of Petri nets for modular modeling
Author
Xie, Xiaolan
Author_Institution
Inst. Nat. de Recherche en Inf. et Autom., Metz, France
Volume
2
fYear
1995
fDate
21-27 May 1995
Firstpage
2066
Abstract
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
Keywords
Petri nets; large-scale systems; modelling; Petri nets; extended controllable-output nets; large-scale systems; modular modeling; Aggregates; Large-scale systems; Manufacturing systems; Merging; Petri nets; Process design; Transportation;
fLanguage
English
Publisher
ieee
Conference_Titel
Robotics and Automation, 1995. Proceedings., 1995 IEEE International Conference on
Conference_Location
Nagoya
ISSN
1050-4729
Print_ISBN
0-7803-1965-6
Type
conf
DOI
10.1109/ROBOT.1995.525566
Filename
525566
Link To Document