Petri nets: an introduction
A Unified Framework for Simulating Markovian Models of Highly Dependable Systems
IEEE Transactions on Computers
Restart: a straightforward method for fast simulation of rare events
WSC '94 Proceedings of the 26th conference on Winter simulation
Analysis of an importance sampling estimator for tandem queues
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Splitting for rare event simulation: analysis of simple cases
WSC '96 Proceedings of the 28th conference on Winter simulation
A framework for rare event simulation of stochastic Petri nets using “RESTART”
WSC '96 Proceedings of the 28th conference on Winter simulation
The RESTART/LRE method for rare event simulation
WSC '96 Proceedings of the 28th conference on Winter simulation
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Discrete-Event Simulation of Fluid Stochastic Petri Nets
IEEE Transactions on Software Engineering
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Multilevel Splitting for Estimating Rare Event Probabilities
Operations Research
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
SPNP: Stochastic Petri Nets. Version 6.0
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
On the efficiency of RESTART for multidimensional state systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
The rare event simulation method RESTART: efficiency analysis and guidelines for its application
Network performance engineering
Automated rare event simulation for stochastic petri nets
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Hi-index | 0.00 |
Stochastic Petri Net Package (SPNP) is a software package whose goal is to compute performance, availability or performability measures from Stochastic Petri Nets (SPN) and Fluid Stochastic Petri nets (FSPN). This software can use either analytic numeric methods, or simulation methods. Unfortunately, the standard discrete event simulation is inefficient to estimate the probabilities of rare events. For such rare event simulations, importance splitting technique is a good method to speedup the simulation. In the literature, two different importance splitting techniques are known: RESTART and splitting. In this paper, we describe the application of these methods to (both fluid and discrete) Petri nets, their implementation in SPNP and we give some illustrations of the speed-up. The RESTART technique has already been applied in another Petri net package, TimeNet, but here we implement both RESTART and splitting, and we apply them to a more general class of Petri nets including the fluid ones.