This paper models, analyzes, accommodates and simulates potential failures which may occur in a materials handling system with Extended Petri nets (EPNs). EPNs are shown to be able to cope with various important failure situations that occur in a manufacturing system through the definition of six different types of places. Detailed EPN based subnets are provided to study and accommodate occurre...

This paper addresses the computation of upper bounds for the steady-state throughput of stochas-tic Petri nets with immediate and exponentially distributed service times of transitions. We try to deeply bridge stochastic Petri net theory to untimed Petri net and queueing network theories. Previous results for general service time distributions are improved for the case of Markovian nets by cons...

In this paper we consider the modeling of a selected portion of signal transduction events involved in the angiogenesis process. The detailed model of this process contains a large number of parameters and the data available from wet-lab experiments are not sufficient to obtain reliable estimates for all of them. To overcome this problem, we suggest ways to simplify the detailed representation ...

Stochastic performance models have been widely used to analyse the performance and reliability of systems that involve the flow and processing of customers and/or resources with multiple service centres. However, the quality of performance analysis delivered by a model depends critically on the degree to which the model accurately represents the operations of the real system. This paper present...

This extended abstract investigates the performability features of a car safety controller operating in a road tunnel. The controller issues alarms when the distance between two consecutive vehicles is lower than a given limit. We propose to model the controller by Fluid Stochastic Petri Net (FSPN). Several performance indices are evaluated in normal and abnormal conditions.

Gas networks comprise a special class of infrastructure, with relevant implications on safety and availability of universal services. In this context, the ongoing deregulation of network operation gives relevance to modeling and evaluation techniques supporting predictability of dependability metrics. We propose a modeling approach that represents maintenance procedures as a multi-phased system...

Markovian queueing networks may be modeled by generalized stochastic Petri nets. The simulation of a model in a properly chosen simulator provides information on the performances of the actual system, mainly in case that the analytical study is intricate. After presenting some general notions on queueing networks and on generalized stochastic Petri nets, this paper points out the PN Toolbox for...

To meet the challenge of dramatically market, manufacturing process requires the high production efficiency and the stability of the machining accuracy. Thus availability is the one of crucial measurements of complex equipments. This study addresses the problem of evaluating the performance of equipment which subject to both wear-out failures and random failures. Moreover, the different degrada...

We report on the results of an investigation into the application of three Petri net approaches for the modelling and analysis of biochemical networks: discrete, continuous and stochastic Petri nets. We mimic the modelling and analysis steps, which have been proposed in [1] for an extended ERK pathway model. We can confirm that analyses based on a discrete Petri net model of the system can be u...

Petri Nets are used in the field of computer science for modeling system performance. In this paper, Generalized Stochastic Petri Net (GSPN) is used to model multiprocessor parallel processing architectures. This paper by means of Generalized Stochastic Petri Nets proposes an approach to model the performance evaluation of the multiprocessor system in a greater detail, and describes the model o...