Petri nets for the evaluation of redundant systems

Abstract This paper gives an overview of the use of Petri nets for the evaluation of redundant systems. After listing modelling criteria for this type of system, we describe the powerful characteristics of Petri nets concerning both representation and performance evaluation: descriptive ability, formal verification procedures, the ability to incorporate time and quantitative analysis. Finally, we discuss the possibilities offered by this theory, as well as certain limitations when it comes to modelling large-scale systems such as those usually encountered in industrial applications.

[1]  Guy Juanole,et al.  Dealing with arbitrary time distributions with the stochastic timed Petri net model-application to queueing systems , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[2]  Grzegorz Rozenberg,et al.  High-level Petri Nets: Theory And Application , 1991 .

[3]  Youcef Atamna.  Definition of the model-"Stochastic timed well formed coloured nets" , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[4]  Ichiro Suzuki,et al.  Stepwise Refinements of Transitions and Places , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[5]  Gérard Memmi,et al.  Composition of nets via a communication medium , 1991, Applications and Theory of Petri Nets.

[6]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[7]  John G. Kemeny,et al.  Finite Markov chains , 1960 .

[8]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[9]  G. Klas,et al.  TOMSPIN-a tool for modeling with stochastic Petri nets , 1992, CompEuro 1992 Proceedings Computer Systems and Software Engineering.