PETRI NETS FOR THE EVALUATION OF REDUNDANT-SYSTEMS

Authors
EREAU JF SALEMAN M VALETTE R DEMMOU H
Citation
Jf. Ereau et al., PETRI NETS FOR THE EVALUATION OF REDUNDANT-SYSTEMS, Reliability engineering & systems safety, 55(2), 1997, pp. 95-104
Citations number
23
Categorie Soggetti
Operatione Research & Management Science","Engineering, Industrial
Journal title
Reliability engineering & systems safety → ACNP
ISSN journal
09518320
Volume
55
Issue
2
Year of publication
1997
Pages
95 - 104
Database
ISI
SICI code
0951-8320(1997)55:2<95:PNFTEO>2.0.ZU;2-3
Abstract
This paper gives an overview of the use of Petri nets for the evaluati on of redundant systems. After listing modelling criteria for this typ e of system, we describe the powerful characteristics of Petri nets co ncerning both representation and performance evaluation: descriptive a bility, formal verification procedures, the ability to incorporate tim e and quantitative analysis. Finally, we discuss the possibilities off ered by this theory, as well as certain limitations when it comes to m odelling large-scale systems such as those usually encountered in indu strial applications. (C) 1997 Elsevier Science Limited.