DocumentCode :
2346903
Title :
Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets
Author :
Kahloul, Laïd ; Chaoui, Allaoua ; Djouani, Karim
Author_Institution :
Comput. Sci. Dept., Biskra Univ., Algeria
fYear :
2010
fDate :
25-27 Aug. 2010
Firstpage :
107
Lastpage :
116
Abstract :
Using Petri nets to model reconfigurable systems, where structure changes during runtime, have been one of the research axes in high level Petri nets domain. Numerous formalisms with different particularities have been proposed. These formalisms try to deal with some aspects of these systems. In the present paper, we propose a new PNets-based formalism “Flexible Nets” that we consider more general and more adequate to model reconfigurable systems. The current formalism allows to the net to be flexible and its structure can be changed with few constraints. Places, transitions, and arcs can be added and deleted from the net during its execution. These qualities will offer to the developer a sophisticated tool to model easily his system. We present the formal definition of the formalism, a case study on a real and complex system, and then we will discuss some analysis and verification issues.
Keywords :
Petri nets; distributed programming; formal verification; systems analysis; Petri net; flexible net; mobile code system; reconfigurable system; system analysis; system modeling; 3G mobile communication; Firing; Middleware; Mobile agents; Mobile computing; Petri nets; Colored Petri Nets; Flexible Nets; Mobile Code Systems; Reconfigurable Systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Theoretical Aspects of Software Engineering (TASE), 2010 4th IEEE International Symposium on
Conference_Location :
Taipei
Print_ISBN :
978-1-4244-7847-7
Type :
conf
DOI :
10.1109/TASE.2010.28
Filename :
5587720
Link To Document :
بازگشت