Modeling and Evaluation of Stochastic Petri Nets With TimeNET 4.1
Armin Zimmermann · 2012
The paper presents a major update of the software tool TimeNET, a package for the modeling and performance evaluation of standard and colored stochastic Petri nets. Among its main characteristics are simulation and analysis modules for stationary and transient evaluation of Petri nets including