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 ...

It is important for almost all transaction processing and computer-communication systems to satisfy response time quantile targets. This paper describes HYDRA, a scalable parallel tool for the analytical determination of response time densities in large, structurally-unrestricted Markov models derived from high-level specifications. The tool exploits an efficient distributed uniformization-base...

In this paper, a manufacturing cell is represented as a generalized stochastic Petri net model. Then, by applying moment generating function based approach, the steady-state probability formulation, and accordingly, the production rate and the work-in-process of the manufacturing cell are expressed, respectively, as a symbolic function of all the timed transition rates, such as the part process...

With the development of network security research, network attack modeling and analysis techniques have been paid more and more attention. A generalized stochastic colored Petri Net (GSCPN) Model is proposed. To each attack, a GSCPN model is constructed to describe the relation of components graphically. Algorithm to construct a composite attack and method for network vulnerability analysis are...

This paper describes TimeNET (Timed Net Evaluation Tool), a software package for the modeling and evaluation of stochastic Petri nets with non-exponentially distributed firing times. TimeNET has been developed at the Technische Universität Berlin in several research projects. A graphical user interface is provided for the model specification and several specialized analysis and simulation compo...

Transient analysis of non-Markovian Stochastic Petri nets is a theoretically interesting and practically important problem. In this paper, we first present a method to compute bounds and an approximation on the average state sojourn times for a subclass of deterministic and stochastic Petri nets (DSPNs) where there is a single persistent deterministic transition that can become enabled only in ...