Coloured Petri nets and a dynamic reliability problem

Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability

Volumn 222, Issue 4, 2008, Pages 635-642

  Sknourilova P ^a   Bris R ^a  

^a VSB TECHNICAL UNIVERSITY OF OSTRAVA   (Czech Republic)

Author keywords

dynamic reliability problem; maintenance action; Petri nets

Indexed keywords

EID: 84990374611     PISSN: 1748006X     EISSN: 17480078     Source Type: Journal    
DOI: 10.1243/1748006XJRR155     Document Type: Article

References (20)

1. Tombuyses B. Aldemir T. Continuous cell-to-cell mapping and dynamic PSA. Proc. ICONE-4 (ASME), 1996, 3, 275–285
2. Dufour F. Dutuit Y. Gonzales K. Zhang H. Piecewise deterministic process and dynamic reliability. Proc. MMR, 2007
3. Houtermans M. Apostolakis G. Brombacher A. Karydas D. Programmable electronic system design and verification utilizing DFM. Proc. Computer Saf., Reliability and Security, 2000, 275–285
4. Houtermans M. Apostolakis G. Brombacher A. Karydas D. The dynamic flowgraph methodology as a safety analysis tool: Programmable electronic system design and verification. Safety Sci., 2002, 40, 813–833
5. Kaufman L. M. Bhide S. Johnson B. W. Modeling of common-mode failures in digital embedded systems. In Annual Reliability and Maintainability Symposium, 2000, pp. 350–357
6. Matsuoka T. Kobayashi M. An analysis of a dynamic system by the GO-FLOW methodology. Assessment and Management'96, 1991, 1547–1436
7. Matsuoka T. Kobayashi M. GO-FLOW: A new reliability analysis methodology. Nuclear Sci. Engng, 1988, 98, 64–78
8. Swaminathan S. Smidts C. The event sequence diagram framework for dynamic probabilistic risk assessment. Reliability Engng and System Saf., 1999, 63, 73–90
9. Swaminathan S. Smidts C. Identification of missing scenarios in ESDs using probabilistic dynamics. Reliability Engng and System Saf., 1999, 66, 275–279
10. Swaminathan S. Smidts C. The mathematical formulation for the event sequence diagram framework. Reliability Engng and System Saf., 1999, 65, 103–118
11. Chatelet E. Chabot J. L. Dutuit Y. Event representation in dynamic reliability analysis using stochastic Petri nets. In Proceedings of the Fifth International Workshop on Dynamic reliability: future directions, 1998
12. Dutuit Y. Chatelet E. Signoret J. P. Thomas P. Dependability modelling and evaluation by using stochastic Petri nets: Application to two test cases. Reliability Engng and System Saf., 1997, 55, 117–124
13. Malhotra M. Trivedi K. S. Dependability modeling using Petri-nets. IEEE Trans. on Reliability, 1995, 44, 428–440
14. Tombuyses B. Reduction of the Markovian system by the influence graph method: Error bound and reliability computation. Reliability Engng and System Saf., 1999, 63, 1–11
15. Vernez D. Buchs D. Pierrehumbert G. Perspectives in the use of coloured Petri nets for risk analysis and accident modelling. Safety Sci., 2003, 41, 445–463
16. Volovoi V. Modeling of system reliability Petri nets with aging tokens. Reliability Engng and System Saf., 2004, 84, 149–161
17. Jensen K. Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 1, 1992 (Springer-Verlag, Berlin)
18. Jensen K. Rosenberg G. High-level Petri nets: theory and application, 1991 (Springer-Verlag, Berlin)
19. Marseguerra M. Zio E. Monte Carlo approach to PSA for dynamic process systems. Reliability Engng and Saf. System, 1996, 52, 227–241
20. Raiteri D. C. Bobbio A. Solving dynamic reliability problems by means of ordinary and fluid stochastic Petri nets. Proc. ESREL, 2005, 381–389