TimeNET 4.0 A Software Tool for the Performability Evaluation with Stochastic and Colored Petri Nets User Manual Armin Zimmermann and Michael Knoke Technische Universität…
