This paper presents an analytical approach for the analysis of non-Markovian stochastic Petri nets. The primary aim of the presented solution method is its universal applicability. Therefore, an approach based on discrete phase type distributions has been chosen to perform the necessary Markovization. For the handling of the resulting state space explosion problem, symbolic storage structures, ...

Petri nets in which random firing delays are associated with transitions whose firing is a n atomic opemtion are known under the name "stochastic Petri nets". These models are discussed, with the purpose of ezplaining why they were proposed in the performance evaluation field, why random delays with negative ezponential probability density functions are mainly used, and what are their strong an...

CSL is a stochastic temporal logic that has been defined for continuous time Markov chains, and that allows the checking of whether a single state, or a set of states, satisfies a given probabilistic condition defined over states or over a path of states. In this paper we consider the problem of CSL model checking in the context of Generalized Stochastic Petri Nets. We present a translation fro...

One of the features of wireless sensor networks is that the nodes in this network have limited power sources. Therefore, assessment of energy consumption in these networks is very important. What has been common practice has been the use of traditional simulators to evaluate the energy consumption of the nodes in these networks. Simulators often have problems such as fluctuating output values i...

|Stochastic Petri nets (SPNs) with generally distributed ring times can model a large class of systems, but simulation is the only feasible approach for their solution. We explore a hierarchy of SPN classes where modeling power is reduced in exchange for an increasingly eecient solution. Generalized stochastic Petri nets (GSPNs), deter-ministic and stochastic Petri nets (DSPNs), semi-Markovian ...

Synchronisation and concurrency aspects as well as sharing of resources are common features of distributed systems. Modelling the last aspect, especially the scheduling strategy amongst competing jobs, can be extremely hard using (Coloured) Generalized Stochastic Petri nets (CGSPNs). Queueing Petri nets (QPNs) provide additional elements for a convenient speciication of such queueing situations...

The “Reliability Analysis of an Anti-lock Braking System using Stochastic Petri Nets” is a work in progress and an extension to the work presented in the paper “Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models”[9]. The current work attempts to model the Anti-lock braking sub-system of a vehicle system using Stochastic Petri Nets. The reliability analysis is under...

A Supply Chain (SC) is a collection of independent companies possessing complementary skills and integrated with transportation and storage systems. This paper deals with the issues of modeling and managing the SCs at the operational level, in order to study the performance measures of the systems controlled by different management strategies. The system is modeled as a timed discrete event dyn...