Emergency response plays an important role in reducing the loss of an accident. And the excellent plan is important to ensure the high efficiency of the emergency response system. However, actions of emergency response arranged in emergency plan can hardly be assessed before the plan is used. Stochastic Petri Net (SPN) is proposed to analyze the performance of emergency response for oil and gas...

In this paper we describe how the completion time distribution for short TCP connections can be computed using Deterministic Stochastic Petri Net (DSPN) models of TCP protocol. A DSPN model of TCP is a representation of the finite state machine description of the TCP transmitter behavior, and provides an accurate description of the TCP dynamics. The DSPN requires as input only the packet loss p...

Biotechnological improvements over the last decade has made it economically and technologically feasible to collect large DNA sequence data from many closely related species. This enables us to study the detailed evolutionary history of recent speciation and demographics. Sophisticated statistical methods are needed, however, to extract the information that DNA sequences hold, and a limiting fa...

Analysis of Markov reward models with stochastic Petri nets is presented. Generation methods and analysis of continuous-time Markov chains and Markov reward models is provided for modeling of reliability of very large systems and working out measures for their performance. Examples and numerical results for M/D/1/2/2 system are shown.

This paper focuses on stochastic Petri nets that have an equilibrium distribution that is a product form over the number of tokens at the places. We formulate a decomposition result for the class of nets that have a product form solution irrespective of the values of the transition rates. These nets where algebraically characterized by Haddad et al. as SΠ nets. By providing an intuitive interpr...

This tutorial covers motivation, use, and advantages of stochastic Petri nets as a tool for reliability evaluation of complex systems. Rare-event simulation techniques are demonstrated, which are applicable to a wide class of reliability problems. While this approach is known in the academic world, is has not yet been adopted much in industrial applications despite its apparent benefits. Additi...

We address the suitability of a recently suggested approach for approximating self-similar traffic with a Markovian model. The phasetype nature of the proposed approach is identified and used to transform it from the discrete-time to the continuous-time domain. We then investigate the performance of a simple queueing system subject to self-similar arrival traffic, thereby comparing the results ...

The Petri Box Calculus (PBC) combines two well known paradigms of the design of concurrent systems: process algebras and Petri nets. In our first proposal of sPBC (stochastic PBC) [12] we defined a Markovian extension of finite PBC, i.e., we had a Markovian process algebra for which both an operational and a denotational (based on stochastic Petri nets) semantics were defined. Our goal in this ...

Fluid (or Hybrid) Petri Nets are Petri net based models with two classes of places: discrete places that carry a natural number of distinct objects (tokens), and fluid places that hold a positive amount of fluid, represented by a real number. With respect to previous formulations, the FSPN model presented in this paper, is augmented with a new primitive, called flush-out arc. A flush-out arc co...

IDD-MC is a symbolic analysis tool for bounded stochastic Petri nets with extended arcs. Its engine is based on Interval Decision Diagrams and facilitate the validation of standard Petri net properties, model checking the Computation Tree Logic (CTL) and the Stochastic Continuous Logic (CSL). In this paper we give an informal overview of the currently implemented analysis techniques and report ...