Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets

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.