Generalized Stochastic Petri Nets with Dynamic Structure
Samir Tigane, Laid Kahloul, Abdelhamid Mellouk · 2025
Reconfigurability is a prominent property of dynamic-structure systems, allowing them to change their hardware and/or software components and architectures to fulfill dynamic requirements and/or respond to their volatile environments. This chapter proposes a new formalism, called dynamic generalized stochastic Petri nets (D-GSPNs), that allows us to model dynamic sets of places and transitions, as well as keep the possibility of transforming D-GSPNs into GSPNs, for verification purposes. It considers extending D-GSPNs to another formalism since they only allow the modeling and verification of nets whose transitions follow single-server semantics. The chapter describes the transformation of D-GSPNs into GSPNs. It demonstrates the applicability of the proposed formalism to a reconfigurable system. GSPNs are equipped with a panoply of algorithms, methods and tools used to analyze their qualitative/quantitative properties.