Systems Dependability Assessment

Benefits of Petri Net Models

Nonfiction, Science & Nature, Mathematics
Cover of the book Systems Dependability Assessment by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry, Wiley
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry ISBN: 9781119262121
Publisher: Wiley Publication: February 11, 2016
Imprint: Wiley-ISTE Language: English
Author: Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
ISBN: 9781119262121
Publisher: Wiley
Publication: February 11, 2016
Imprint: Wiley-ISTE
Language: English

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 Petri net types to the study of various problems related to dependability such as risk analysis and probabilistic assessment.

In the first part, the basic models of PN and some useful extensions are briefly recalled. In the second part, the PN are used as a formal model to describe the evolution process of critical system in the frame of an ontological approach. The third part focuses on the stochastic Petri Nets (SPN) and their use in dependability assessment. Different formal models of SPN are formally presented (semantics, evolution rules…) and their equivalence with the corresponding class of Markov processes to get an analytical assessment of dependability. Simplification methods are proposed in order to reduce the size of analytical model and to make it more calculable. The introduction of some concepts specific to high level PN allows too the consideration of complex systems. Few applications in the field of the instrumentation and control (l&C) systems, safety integrated systems (SIS) emphasize the benefits of SPN for dependability assessment.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 Petri net types to the study of various problems related to dependability such as risk analysis and probabilistic assessment.

In the first part, the basic models of PN and some useful extensions are briefly recalled. In the second part, the PN are used as a formal model to describe the evolution process of critical system in the frame of an ontological approach. The third part focuses on the stochastic Petri Nets (SPN) and their use in dependability assessment. Different formal models of SPN are formally presented (semantics, evolution rules…) and their equivalence with the corresponding class of Markov processes to get an analytical assessment of dependability. Simplification methods are proposed in order to reduce the size of analytical model and to make it more calculable. The introduction of some concepts specific to high level PN allows too the consideration of complex systems. Few applications in the field of the instrumentation and control (l&C) systems, safety integrated systems (SIS) emphasize the benefits of SPN for dependability assessment.

More books from Wiley

Cover of the book Introduction to Biostatistical Applications in Health Research with Microsoft Office Excel by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Computational Methods for Reinforced Concrete Structures by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Crime and Global Justice by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Enhancing Trader Performance by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book The Positive Power of Imagery by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Optical and Digital Image Processing by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Retrometabolic Drug Design and Targeting by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Mastering VBA for Microsoft Office 2016 by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Women's Imaging by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Detox Diets For Dummies by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Handbook of Reagents for Organic Synthesis by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Calculus Essentials For Dummies by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Nanotechnology for the Energy Challenge by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Quantum Teleportation and Entanglement by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book The Bombardier Story by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy