Cover Image

Systems dependability assessment : benefits of petri nets models /

Petri Nets were defined for the study of discrete events systems and later extended for many purposes including dependability assessment. In our knowledge, no book deals specifically with the use of different type of PN to dependability. We propose in addition to bring a focus on the adequacy of Pet...

Full description

Bibliographic Details
Main Authors: Aubry, Jean-François (Author), Brînzei, Nicolae (Author), Mazouni, Mohammed-Habib (Author)
Format: eBook
Language:English
Published: London, UK : Hoboken, NJ : ISTE, Ltd. ; John Wiley and Sons, 2016.
Series:Systems and industrial engineering series. Systems dependability assessment set.
Subjects:
Petri nets.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Short Review of Petri Net Modeling
  • Autonomous Petri Nets / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni
  • Petri Nets and Event Languages / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni
  • Comparison Petri Nets
  • Finite State Automaton / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni
  • Some Extensions of Petri Nets / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni
  • A Formal Approach to Risk Assessment
  • Ontology-Based Accidental Process / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni
  • Petri Net Modeling of the Accidental Process / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni
  • Illustrative Example / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni
  • Design and Safety Assessment Cycle / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni
  • Stochastic Petri Nets
  • Basic Concept / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni
  • Semantics, Properties and Evolution Rules of an SPN / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni
  • Simplification of Complex Models / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni
  • Extensions of SPN / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni
  • Applications of Stochastic Petri Nets to Assessment Problems in Industrial Systems
  • Application in Dynamic Reliability / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni
  • Classical Dependability Assessment / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni
  • Impact of Failures on System Performances / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni.