Discrete time stochastic petri nets for modeling and evaluation of real-time systems
Armin Zimmermann, Jörn Freiheit, G. Hommel · 2005
The design of real-time systems requires modeling and analysis techniques, to ensure their correct and timely operation. In many cases a realistic model should be able to cover both fixed and stochastic times. Stochastic Petri nets are a promising description technique in this field, but mixing deterministic and randomly distributed times in one model makes the analysis often impossible. This paper shows that Petri net models with an underlying discrete time can be advantageous for the modeling and analysis of real-time systems. For a demonstration a simple application example is modeled and its behavior computed using the software tool TimeNET.