Research Article
Modeling and Evaluation of Stochastic Petri Nets With TimeNET 4.1
@INPROCEEDINGS{10.4108/valuetools.2012.250263, author={Armin Zimmermann}, title={Modeling and Evaluation of Stochastic Petri Nets With TimeNET 4.1}, proceedings={6th International Conference on Performance Evaluation Methodologies and Tools}, publisher={IEEE}, proceedings_a={VALUETOOLS}, year={2012}, month={11}, keywords={modeling tool timenet stochastic petri nets colored petri nets performance evaluation}, doi={10.4108/valuetools.2012.250263} }- Armin Zimmermann
Year: 2012
Modeling and Evaluation of Stochastic Petri Nets With TimeNET 4.1
VALUETOOLS
ICST
DOI: 10.4108/valuetools.2012.250263
Abstract
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 non-exponentially distributed delays, as well as an efficient simulation module for complex colored models.
An overview of the tool is given as well as a description of the new features, which are demonstrated using a manufacturing system application example. The tool is available free of charge for non-commercial use.
Copyright © 2012–2025 ICST
