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

The traac equations are a set of linear equations, which are the basis for the exact analysis of product form queueing networks, and the approximate analysis of non-product form queueing networks. Conditions characterising the structure of the network that guarantees the existence of a solution for the traac equations are therefore of great importance. This note provides a necessary and suucien...

Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A classic solution to solve DES’s diagnosis is a stochastic Petri net. The foraging behavior of ant colonies can give rise to the shortest path, which will reduce the state explosion of stochastic Petri net. Therefore, a new mo...

This paper discusses the analysis of stochastic Petri nets using the proxelbased simulation method. The paradigm of the proxel (”probability element”) was recently introduced in order to provide a new algorithmic approach to analysing discrete-state stochastic models such as are represented by stochastic Petri nets (SPNs) or queuing systems. Proxel-based simulation is not related to either of t...

Realistic models of computer and communication systems result in large, complex performance models. Compositionality, offered by stochastic process algebra constructs a model from submodels which are smaller and more tractable. We present a technique to exploit this structure in order to enhance the solution of the model by decomposition of the underlying Markov process. The decomposition under...

Some insight on the meaning of “modeling power” for Stochastic Petri Net models is given. Extensions characterizing a Stochastic Petri Net are categorized as logical or stochastic. Three logical constructs are shown to be equivalent: inhibitor arcs, transition priorities, and enabling functions associated with the transitions. A direct transformation of Petri Nets with inhibitor arcs into Petri...

Maintaining the satisfactory QoS, synchronization is a big challenge to the researcher in the field of Information and Communication Technology (ICT). In this paper we address a multimedia synchronization issue called multipoint synchronization which is necessary in some distributed collaborative application like teleteaching, teleconferencing etc., involving the play out process of same media ...

This paper presents a new net-reduction methodology to facilitate the analysis of large workflow models. We propose an enhanced algorithm based on reducible subnet identification which preserves both soundness and completion time distribution. Moreover we outline an approach to model the dynamic behavior of business processes by exploiting the power of a class of non-Markovian stochastic Petri ...

In this paper we characterize a class of stochastic Petri nets that can be solved using matrix geometric techniques. Advantages of such an approach are that very eecient mathematical technique become available for practical usage, as well as that the problem of large state spaces can be circumvented. We rst characterize the class of stochastic Petri nets of interest by formally deening a number...