Dynamic GSPNs
Samir Tigane, Laïd Kahloul, Souheib Baarir, Samir Bourekkache · 2020
In their basic form, Petri nets face several shortcomings in the design/analysis of reconfigurable discrete-event systems. Hence, researchers have enriched Petri nets with dynamic structure. Such formalisms allow explicitly modeling system features and its structure evolution in two separate levels. To reuse available tools in verifying dynamic-structure Petri nets, several formalisms flatten dynamic nets into basic Petri nets. To the best of our knowledge, this kind of approaches copes only with dynamic topology, i.e. sets of places and transitions cannot be changed. However, this restriction limits severely the modeling power of these formalisms.