TimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets

Stochastic Petri nets are well suited for the model-based performance and dependability evaluation of complex systems. Most commonly, the firing times of the transitions are exponentially distributed, leading to an underlying continuous-time Markov chain. In order to increase the modeling power, several classes of non-Markovian SPNs were defined, in which the transitions may fire after a nonexponentially distributed firing time. 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. TimeNET has been developed at the Technical University of Berlin in several research projects.

[1]  Christoph Lindemann.  An Improved Numerical Algorithm for Calculating Steady-State Solutions of Deterministic and Stochastic Petri Net Models , 1993, Perform. Evaluation.

[2]  Christoph Lindemann,et al.  DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets , 1993, Perform. Evaluation.

[3]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[4]  Giovanni Chiola,et al.  On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets , 1987, PNPM.

[5]  Marco Ajmone Marsan,et al.  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets , 1989, IEEE Trans. Software Eng..

[6]  Giovanni Chiola.  Compiling Techniques for the Analysis of Stochastic Petri Nets , 1989 .

[7]  Donald Gross,et al.  The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes , 1984, Oper. Res..

[8]  Lee W. Schruben,et al.  Optimal Tests for Initialization Bias in Simulation Output , 1983, Oper. Res..

[9]  Philip Heidelberger,et al.  A spectral method for confidence interval generation and run length control in simulations , 1981, CACM.

[10]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications , 1993, IEEE Trans. Software Eng..

[11]  Marco Ajmone Marsan,et al.  On Petri nets with deterministic and exponentially distributed firing times , 1986, European Workshop on Applications and Theory of Petri Nets.

[12]  Reinhard German,et al.  New results for the analysis of deterministic and stochastic Petri nets , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

[13]  Gianfranco Ciardo,et al.  Performability modeling of an automated manufacturing system with deterministic and stochastic Petri nets , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[14]  Krzysztof Pawlikowski,et al.  Steady-state simulation of queueing processes: survey of problems and solutions , 1990, CSUR.

[15]  Hoon Choi,et al.  Markov Regenerative Stochastic Petri Nets , 1994, Perform. Evaluation.

[16]  Aldo Cumani,et al.  ESP - A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times , 1985, PNPM.

[17]  Günter Hommel,et al.  Modeling priority schemes with timed Petri nets , 1994, Second Workshop on Parallel and Distributed Real-Time Systems.

[18]  Christian Kelling.  TimeNET-Sim-a parallel simulator for stochastic Petri nets , 1995, Proceedings of Simulation Symposium.

[19]  Manuel Silva,et al.  A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[20]  G. Klas,et al.  TOMSPIN-a tool for modeling with stochastic Petri nets , 1992, CompEuro 1992 Proceedings Computer Systems and Software Engineering.

[21]  David R. Kincaid,et al.  Algorithm 586: ITPACK 2C: A FORTRAN Package for Solving Large Sparse Linear Systems by Adaptive Accelerated Iterative Methods , 1982, TOMS.

[22]  Reinhard German.  Transient analysis of deterministic and stochastic Petri nets by the method of supplementary variables , 1995 .

[23]  Gianfranco Ciardo,et al.  A Characterization of the Stochastic Process Underlying a Stochastic Petri Net , 1994, IEEE Trans. Software Eng..

[24]  Reinhard German,et al.  Modeling discrete event systems with state-dependent deterministic service times , 1993, Discret. Event Dyn. Syst..

[25]  William H. Sanders,et al.  Performability Modeling with UltraSAN , 1991, IEEE Softw..

[26]  Reinhard German,et al.  Analysis of Stochastic Petri Nets by the Method of Supplementary Variables , 1994, Perform. Evaluation.

[27]  Andrew H. Sherman,et al.  Algorithms for sparse Gaussian elimination with partial pivoting , 1978, TOMS.

[28]  Reinhard German,et al.  A new approach to discrete time stochastic Petri nets , 1994 .