Stochastic Petri nets (SPNs) are extended Petri nets where the transitions fire after a probabilistic delay determined by a random variable. There have been a lot of members added to the SPN family, featuring different time specifications. The most fundamental Markov SPN model and Generalized SPN will be studied in this report. Some relatively mature analysis methods of Petri Nets or Markov pro...

This paper describes a new modeling tool for the analysis of non-Markovian stochastic Petri nets (SPN) that relax some of the restrictions present in currently available packages. This tool, called WebSPN, provides a discrete time approximation of the stochastic behaviour of the mrking process which results in the possibility to analyze a wider class of PN models with prd and prs concurrently e...

This document describes the basic features and functionality of spn2mgm, a tool which integrates the speciication of a special class of stochastic Petri nets with an eecient numerical solution technique for its numerical analysis. The modeler using spn2mgm does not need to know about special properties of the underlying Markov chain; spn2mgm hides all details relevant to the solution method on ...

This paper presents an Interval Decision Diagram based approach to symbolic CSL model checking of Continuous Time Markov Chains which are derived from stochastic Petri nets. Matrix-vector and vector-matrix multiplication are the major tasks of exact analysis. We introduce a simple, but powerful algorithm which uses explicitly the Petri net structure and allows for parallelisation. We present re...

due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. this paper employs modified petri nets (mpn) to model theses subsystems and makes it simple to analyze them. in this method, first, the continuous transfer function is converted to a discrete transfer function and then, by mpn, system is modeled and analyzed. all...

In this paper we investigate some relations between the Petri net formalism and the queueing networks with blocking. This type of queueing network models are used to represent systems with finite capacity resource constraints, such as production, communication and computer systems. Various blocking mechanisms have been defined in the literature to represent the different behaviours of real syst...

Petri net models are used to detect and isolate faults in case of discrete event systems as manufacturing, robotic, communication and transportation systems. This chapter addresses two problems. The first one is the structure designs and parameters identification of the Petri net models according to the observation and analysis of the sequences of events that are collected. Deterministic and st...

Petri nets have become an effective formalism to model biological systems. However, attempts to simulate biological systems by low-level Petri nets are restricted to relatively small models, and they tend to grow quickly for modeling complex systems, which makes it more difficult to manage and understand the nets. Motivated by this, we propose a colored Petri net-based framework for modeling, s...

It is now apparent that our nation’s infrastructures and essential utilities have been optimized for reliability in benign operating environments. As such, they are susceptible to cascading failures induced by relatively minor events such weather phenomena, accidental damage to system components, and major events such earthquakes. This paper presents a new kind of integrated modeling method for...

In order to assist the performance evaluation of complex stochastic models, automatic program tools were developed since a long time. Stochastic Petri Nets (SPN) are applied as an effective model description language supported by several analytical and simulation tools. The analytical description and the numerical analysis of non-Markovian stochastic Petri Net models gained attention recently. ...