Petri net analysis

Magott, X, Skrobanek, P. 2002, Method of Time Petri Net Analysis for Analysis of Fault Trees with Time Dependencies. lEE Proceedings - Computers and Digital Techniques, Vol. 149, No. 6, 257-271. 

These two formalisms for discrete event system models can be converted in between. This allows using the theory and tools developed to Petri Nets analysis (Fig. 7). 

Using Petri-Net analysis for advanced reliability analysis of polymer electrolyte membrane fuel cells... 

Petri net analysis is a method to model unique states of a complex system. Petri Nets can be used to model system components, or subsystems at a wide range of abstraction levels e.g., conceptual, topdown, detail design, or actual implementations of hardware, software, or combinations (Tarrents, 1980). 

Alesso, H. P., 1984, On the Relationship of Digraph Matrix Analysis to Petri Net Theory and Fault Trees, LLNL UCRL-90271 Preprint, January. 

Vemes, D., Buchs, D. R., Pierrehumbert, G. E. Bersour, A., 2004, MORM-A Petri net based model for assessing Oh S risks in industrial processes Modeling qualitative aspects. Risk Analysis, 24, 6, 1719-1735. 

In addition to the approaches described so far, mathematical formalisms hke Petri nets [770], state charts [718], and process algebra [551] have been developed which allow to describe the behavior of concurrent systems in an unambiguous, mathematically sound way, which makes up their suitability for computer-based applications. Petri nets, in particular, are an appropriate basis for work process automation by means of workflow systems [1014] or analysis by means of process simulation (cf. Sect. 5.2). 

Our research aims at the creation of an organizational simulation model, which is adequate for the participatory design of complex workflows and project structures (see Sect. 3.4) in the process industries. The research approach is based on the C3 notation. The notation s plain graphical basic elements and the consideration of an advanced methodical approach, e.g., for communication analysis, is an adequate foundation for simulation studies by means of high level Petri nets. 

Jarke, M., Vassiliou, M. Foundations of data warehouse quality An overview of the DWQ project. In Proceedings of the 16 ACM Symposium on Principles of Database Systems (PODS), Tucson, AZ, USA, pp. 51-61 (1997) Jensen, K. Colomed Petri Nets Basic Concepts, Analysis Methods and Practical Use. Volume 1 Basic Concepts. Springer, Heidelberg (1997)... 

Those interested in the analysis and modeling of workflow processes have often turned to a process-modeling technique known as the Petri net. This is a popular choice since much work exists that formalizes and enhances the technique introduced by Carl Petri in the 1960s [PN1]. A Petri net is a directed graph that describes the relationship between transitions and the conditions that trigger those transitions to take place. The net executes as transitions consume enabling tokens and produce new tokens that in turn enable other transitions. 

Department of the University of California at Irvine (Razouk 1987) to assist engineers in applying various Petri net-based analysis methods. 

Wrmg, L.-C. (1996), Object-Oriented Petri Nets for ModeUing and Analysis of Automated Manufacturing Systems, Computer Integrated Marmfacturing Systems, Vol. 9, No. 2, pp. 111-125. 

PERT diagrams, see Program Evaluation and Review Technique diagrams Perturbation analysis, 2632-2633 Petri nets, 166, 173, 503-505 Petroleum industry, 518 Petsmart, 781 Pfizer, 911... 

Is not a technique for deriving SAV safety requirements directly - these are inferred following critical analysis of dependencies modelled in the petri net. 

R. R. Razouk and C. V. Phelps, Performance analysis using timed Petri nets , in Protocol Specification, Testing, and Verification, IV, Y. Yemini, R. Strom, S. Yemini, Eds, New York Elsevier, 1985, pp. 561-576,... 

The most of industrial systems have a dynamical behavior and therefore the study of a dynamical reliability system plays an important role. One of the major problems of a risk analysis is how to model the dynamical behavior of system in an effective and real way. In the present, it is well known that the most of the method used for this task are not suitable in cases where the physical behavior of a system can not he separated from aprobabdity behavior. This the case of systems with dynamical processes, of possible methods how to model relations process variables evolution and stochastical are Stochastic Petri Nets. 

In this paper we will present an improved methodology for the modelling and analysis of complex production systems by using a combination of extended coloured stochastic Petri net (ECSPN) and a reliability block diagram (RDB). This enables us to model condition based maintenance strategies as well as dynamically grouped maintenance actions. The models are analyzed by applying a Monte Carlo simulation. 

Jensen, K. 1996. Coloured Petri Nets - Basic Concepts, Analysis Methods and Pratical Use. Volume I. Berlin Springer. 

Pozsgai, P. Bertsche, B. 2004. Conjoint Modelling with Extended Coloured Stochastic Petri Net and Reliability Block Diagram for System Analysis. Proc. PSAM 7/ESREL 04, Berlin, June 14th-I8th, 2004. 

The Petri Nets are a powerfirl method to approach various kinds of discrete event systems. They allow expressing efficiently a variety of phenomena such as sequences, parallelism, synchronized start and stop, etc. They get the advantage to be able to be used both for the modelling of a static structure and the dynamic behaviour. They allow in this way to examine not only the system architecture but also its temporal evolution andreactions to stimuli. This makes them very suitable for the dependability, safety and performance evaluation. CPN can be employed throughout the complete process development cycle one can thus preserve the same formalism to imderstand the architecture and the behaviour of the process (as well as the lunctional analysis). The driver model and various test scenarios can be also implemented in this formalism. 

This work makes clear of the use of Colored Petri Nets for such modeling but identifies the combinatorial explosion as the analysis problem. This is why, only a study of an isolated component procedure is presented. However a very interesting result in finding an ERMTS specification error is presented. 

Kluge, O. 2003 completes the work on Petri net modeling in the rail traffic analysis with a detailed communication on the relationship of MSC (Message Sequence Charts) and Petri Nets applied to the safety management of railway level crossings. 

---