This paper handles the problem of uncertainty in assessment the safety systems using Generalized Stochastic Petri Nets (GSPN). The basic probabilities usually treated to define transition in petri nets (PNs) are substituted by fuzzy number. Experts represent the uncertainties regarding the parameters of the components of systems to assess the influence of this uncertainty on safety system unava...

19 to both control the uid ow, and have the discrete control decisions be aaected by observed uid ow. We have provided formal deenition of FSPNs and developed the rules for their dynamic evolution. We have derived coupled systems of partial diierential equations for the transient and the steady-state behavior of FSPNs. Spectral representation of the FSPNs with a single continuous place can be a...

Stochastic Petri nets (SPNs) is a well-known model for quantitative analysis. We consider the class called DTWSPNs that is a modification of discrete time SPNs (DTSPNs) by transition labeling and weights. Transitions of DTWSPNs are labeled by actions that represent elementary activities and can be visible or invisible for an external observer. For DTWSPNs, interleaving and step probabilistic τ ...

Shortest path problem in stochastic graphs has been recently studied in the literature and a number of algorithms has been provided to find it using varieties of learning automata models. However, all these algorithms suffer from two common drawbacks: low speed and lack of a clear termination condition. In this paper, we propose a novel learning automata-based algorithm for this problem which c...

Many modern computer and communication systems result in large, complex performance models. The compositional approach ooered by stochastic process algebra constructs a model from submodels which are smaller and more easily understood. This gives the model a clear component-based structure. In this paper we present cases when this structure may be used to inform the solution of the model, leadi...

In many research projects on modeling and analyzing biological pathways, the Petri net has been recognized as a promising method for representing biological pathways. From the pioneering works by Reddy et al., 1993, and Hofestädt, 1994, that model metabolic pathways by traditional Petri net, several enhanced Petri nets such as colored Petri net, stochastic Petri net, and hybrid Petri net have b...

The growing complexity of modern systems has escalated the need for performance metrics. Stochastic models such as queuing networks and stochastic Petri nets have been used to model these systems so that their performance measures can be evaluated analytically. Product-form solutions are equilibrium state probabilities in networks of stochastic nodes (e.g. queues) in the form of a product of te...

Over the last two decades many techniques have been developed to specify and evaluate Markovian dependability models. Most often, these Markovian models are automatically derived from stochastic Petri nets, stochastic process algebras, or stochastic activity networks. However, whereas the model specification has become very comfortable, the specification of the dependability measures of interes...

Stochastic Petri nets of various types (SPN, GSPN, ESPN, DSPN etc.) are recognized as useful modeling tools for analyzing the performance and reliability of systems. The analysis of such Petri nets proceeds by utilizing the underlying continuous-time stochastic processes continuous-time Markov chains for SPN and GSPN, semi-Markov processes for a subset of ESPNs and Markov regenerative processes...