Modeling and Evaluation of Stochastic Petri Nets With TimeNET 4.1

Armin Zimmermann

6th International Conference on Performance Evaluation Methodologies and Tools

Research Article

Modeling and Evaluation of Stochastic Petri Nets With TimeNET 4.1

Download1241 downloads

Cite: BibTeX Plain Text

@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

Armin Zimmermann¹^,*

1: Ilmenau University of Technology

*Contact email: armin.zimmermann@tu-ilmenau.de

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.

Keywords: modeling tool timenet stochastic petri nets colored petri nets performance evaluation

Published: 2012-11-07
Publisher: IEEE

: http://dx.doi.org/10.4108/valuetools.2012.250263