Stochastic Petri Nets: Introduction and Applications to the Modeling of Computer and Communication Systems
Gianfranco Ciardo · 2024
Complex discrete-state systems can be modeled directly by specifying a state-to-state transition diagram, but doing so is seldom feasible in practice because of the enormous size of the resulting description. High-level formalisms are normally employed instead. The compactness of the description expressed in one of these formalisms is in itself extremely desirable, since it saves specification time, makes visual inspection easier, and reduces the overall likelihood of modeling errors. The SPN formalism has the additional advantage of allowing specialized analysis techniques to be employed directly “at the net level”, thus resulting in efficient (in term of memory and time complexity) algorithms.