TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets

SPNP: stochastic Petri net package

Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi · 2003 · 548 citations

Engineering, Computer Science, Systems Engineering +11

A spectral method for confidence interval generation and run length control in simulations

Philip Heidelberger, Peter D. Welch · Communications of the ACM · 1981 · 442 citations

Natural Sciences, Biostatistics, Experimental Design +10

The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes

Donald Gross, Douglas R. Miller · Operations Research · 1984 · 442 citations

Engineering, Computer Science, Mathematics +17

Markov regenerative stochastic Petri nets

Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi · Performance Evaluation · 1994 · 269 citations

Engineering, Systems Engineering, Stochastic Modeling +8

Generalized stochastic Petri nets: a definition at the net level and its implications

G. Chiola, Marco Ajmone Marsan, Gianfranco Balbo et al. · IEEE Transactions on Software Engineering · 1993 · 246 citations

Engineering, Systems Engineering, Stochastic Modeling +12