Entry last updated: 2009/3/7
Entry last validated: 2009/3/7

Tool homepage: http://www.tu-ilmenau.de/TimeNET

Tool availability: Commercial (free for academic institutions)

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)


Tool Description

TimeNET (Timed Petri Net Evaluation Tool) is a software package for the modeling and evaluation of SPNs in which the firing times of the transitions may be exponentially distributed, deterministic, or more generally distributed. Models can be specified with a graphical user interface. Result measures can be defined at the model-level in a special-purpose syntax. Models with continuous time scale as well as discrete time are supported. A special modelling and analysis component is available for manufacturing systems using colored Petri nets.

The stationary analysis is based on Markov regenerative theory. An embedded Markov chain (EMC) is constructed and solved. The transient analysis is based on the method of supplementary variables.

TimeNET also supplies a simulation component for non-Markovian Petri nets. The tool offers different techniques to accelerate simulation experiments.

Contact Information

Prof. Dr.-Ing. Armin Zimmermann
Technische UniversitĄt Ilmenau
System and Software Engineering
P.O. Box 100565
D-98684 Ilmenau, Germany

Phone:  +49 (3677) 69 4420
Fax:    +49 (3677) 69 1285
E-mail: armin.zimmermann@tu-ilmenau.de

Other Remarks

[PN Home][*]
The maintainers of this page