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 Handbook of Statistical Systems Biology by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Principles of Polymer Processing by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book The Complete Dentist by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Statistical Thinking for Non-Statisticians in Drug Regulation by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book The Idea Hunter by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Practical Reverse Engineering by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book How To Write a Paper by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book UKCAT For Dummies by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Sedimentary Petrology by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Ecosystem Dynamics by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Lasers by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Facebook Marketing by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Juvenile Sexual Offending by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Nonprofit Law & Finance Essentials e-book set by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Using Statistics in the Social and Health Sciences with SPSS and Excel 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