TimeNET
Overview
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)
- High-level Petri Nets
- Place/Transition Nets
- Stochastic Petri Nets
- Petri Nets with Time
Components (see also help on terminology)
- Graphical Editor
- Token Game Animation
- Fast Simulation
- Place Invariants
- Structural Analysis
- Simple Performance Analysis
- Advanced Performance Analysis
Environments
- PC, Linux
- PC, MS Windows XP
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]](/TGI/PetriNets/img/button_home.gif)
![[*]](/TGI/PetriNets/img/button_tool.gif)
The maintainers of this page