TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets
References (35)
- et al.
Markov regenerative stochastic Petri nets
Perf. Eval.
(1994) - et al.
Analysis of stochastic Petri nets by the method of supplementary variables
Perf. Eval.
(1994) An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models
Perf. Eval.
(1993)- et al.
Performability modeling of an automated manufacturing system with deterministic and stochastic Petri nets
- et al.
The effect of execution policies on the semantics of stochastic Petri nets
IEEE Trans. Softw. Engrg.
(1989) - et al.
On Petri nets with deterministic and exponentially distributed firing times
- et al.
On the efficient construction of the tangible reachability graph of generalized stochastic Petri nets
A graphical Petri net tool for performance analysis
Compiling techniques for the analysis of stochastic Petri nets
GreatSPN 1.5 software architecture
Generalized stochastic Petri nets: a definition at the net level and its implications
IEEE Trans. Softw. Engrg.
(1993)
A characterization of the stochastic process underlying a stochastic Petri net
IEEE Trans. on Softw. Engrg.
(1994)
SPNP: stochastic Petri net package
Performability modeling with UltraSAN
IEEE Software
(1991)
ESP — a package for the evaluation of stochastic Petri nets with phase-type distributed transition times
A new approach to the approximation of deterministic time in continuous time stochastic models
New results for the analysis of deterministic and stochastic Petri nets
Cited by (0)
Copyright © 1995 Published by Elsevier B.V.