Petri Net Modelling and Performability Evaluation with TimeNET 3.0
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 188-202
- https://doi.org/10.1007/3-540-46429-8_14
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Well-defined stochastic Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A fourth-order algorithm with automatic stepsize control for the transient analysis of DSPNsIEEE Transactions on Software Engineering, 1999
- TimeNET: a toolkit for evaluating non-Markovian stochastic Petri netsPerformance Evaluation, 1995
- GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri netsPerformance Evaluation, 1995
- DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri netsPerformance Evaluation, 1995
- Transient analysis of deterministic and stochastic Petri nets with TimeNETPublished by Springer Nature ,1995
- A characterization of the stochastic process underlying a stochastic Petri netIEEE Transactions on Software Engineering, 1994
- Markov regenerative stochastic Petri netsPerformance Evaluation, 1994
- Analysis of stochastic Petri nets by the method of supplementary variablesPerformance Evaluation, 1994
- On Evaluating the Performability of Degradable Computing SystemsIEEE Transactions on Computers, 1980