Deterministic and stochastic dependability analysis of industrial systems using Coloured Petri Nets approach

Safety, Reliability and Risk Analysis: Beyond the Horizon - Proceedings of the European Safety and Reliability Conference, ESREL 2013

Volumn , Issue , 2014, Pages 2969-2977

  Pinna, B ^a   Babykina, G ^a   Brinzei N ^a   Petin J F ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY CONTROL; CONTROL THEORY; FAULT TREE ANALYSIS; MODEL CHECKING; MONTE CARLO METHODS; NUCLEAR POWER PLANTS; PETRI NETS; RELIABILITY; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC SYSTEMS;

AVAILABILITY ASSESSMENT; COMPONENTS REDUNDANCY; DEPENDABILITY ANALYSIS; DEPENDABILITY ASSESSMENTS; DETERMINISTIC MODELLING; DIFFERENT DISTRIBUTIONS; QUALITATIVE ANALYSIS; STOCHASTIC SIMULATIONS;

STOCHASTIC MODELS;

EID: 84900024219     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. Adolfsson, Y., J.-E. Holmberg, I. Karanta, & P. Kudinov (Eds.) (2012, November). Proceedings of the Integrated Deterministic-Probabilistic Safety Analysis Workshop, Stockholm, Sweden.
2. Aubry, J.-F., G. Babykina, N. Brinzei, A. Barros, C. Berenguer, A. Grall, Y. Langeron, G. Deleuze, et al. (2012). The approdyn project: dynamic reliability approaches to modelling critical systems. Supervision and Safety of Complex Systems, 181-222.
3. Clarke, Jr., E.M., O. Grumberg, & D.A. Peled (1999). Model checking. Cambridge, MA, USA: MIT Press.
4. Giua, A., F. Di Cesare, & M. Silva (1992). Generalized mutual exclusion contraints on nets with uncontrollable transitions. In Systems, Man and Cybernetics, 1992., IEEE International Conference on, pp. 974-979. IEEE.
5. Iordache, M.V. & P.J. Antsaklis (2006). Supervisory control of concurrent systems: A Petri net structural approach. Springer.
6. Jensen, K. (1997). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use (Volume 1), Volume 1. Springer Verlag.
7. Jensen, K. & L. Kristensen (2009). Coloured Petri nets: modelling and validation of concurrent systems. Springer-Verlag New York Inc.
8. Kristensen, L. & M. Westergaard (2007). The ascoveco state space analysis platform: Next generation tool support for state space analysis. In Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 1.