Modeling and evaluation of stochastic Petri nets with TimeNET 4.1

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.