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

Petri nets are useful for modelling complex concurrent systems. While modelling using Petri nets focusses on local states and actions, the analysis methods are concerned with global states and their transitions. Unfortunately generation of the complete state space suffers from the well-known state space explosion problem. This paper presents a method to overcome the state-space explosion proble...

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

Heterogeneous network computing allows the development of a single complex application using a distributed network of machines; these machines may diier in terms of CPU and memory capacity and/or architecture and specialized functions. The design of eecient applications targeted to this class of systems is a complex task requiring the evaluation of diierent performance tradeoos. In this paper w...

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

We describe the recently introduced Fluid Stochastic Petri-Nets as a means of computing the distribution of the accumulated rate reward in a GSPN. In practice, it is the expected value of a reward which is computed, a quantity which is dependent solely on the solution of the underlying Markov chain. Until now, the instantaneous reward rates have been a function of the GSPN marking only, and the...

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

Product-form stochastic models are characterized by a Markovian stochastic process that fulfills a set of properties that allows an efficient steady state analysis. According to this approach, the model is decomposed into several components. Each of these components has an associated stochastic process that is in general much simpler than the joint one. The product-form property states that the...

CRC cards are unconventional method for identifying and describing classes, behavior and its responsibilities and collaborators of class. Representation of three categories of class, responsibilities and collaborators can give proper image of scenario. These cards are effective method for analyzing scenarios. With all positive features of CRC cards, of weaknesses of these cards are failure to s...