DocumentCode :
289800
Title :
A reference model for modular colored Petri nets
Author :
Bachatène, H. ; Couvreur, J.M.
Author_Institution :
Lab. MASI, Inst. Blaise Pascal, Paris, France
fYear :
1993
fDate :
17-20 Oct 1993
Firstpage :
724
Abstract :
The object paradigm offers a fundamental modeling framework for the interaction of loosely coupled, distributed and concurrent executing components. Ideally, its combination with concurrent formal models should provide user friendliness and reusability of designs, ensuring their correctness, robustness or efficiency evaluation. This paper presents an approach combining objects and colored Petri nets paradigms, drawing it inspiration from hierarchical nets. It aims to allow a concrete delimitation of objects behaviors in the operational model, to respect the information encapsulation. For the purpose, we introduce a model of modular nets that maintains object structuring over behaviors and helps to ensure specification traceability
Keywords :
Petri nets; graph colouring; modelling; concurrent formal models; correctness; design reusability; efficiency evaluation; hierarchical nets; information encapsulation; loosely-coupled distributed concurrent executing components; modular colored Petri nets; object structuring; objects behavior delimitation; reference model; robustness; specification traceability; user friendliness; Computational modeling; Concrete; Data flow computing; Encapsulation; Formal verification; Object oriented modeling; Petri nets; Power system modeling; Robustness; Yarn;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man and Cybernetics, 1993. 'Systems Engineering in the Service of Humans', Conference Proceedings., International Conference on
Conference_Location :
Le Touquet
Print_ISBN :
0-7803-0911-1
Type :
conf
DOI :
10.1109/ICSMC.1993.384961
Filename :
384961
Link To Document :
بازگشت