Implementation of Importance Splitting Techniques in Stochastic Petri Net Package

  • Authors:
  • Bruno Tuffin;Kishor S. Trivedi

  • Affiliations:
  • -;-

  • Venue:
  • TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.