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 A Companion to Anthropological Genetics by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Professional Microsoft SQL Server 2008 Administration by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Sex Cultures by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Child and Adolescent Behavioral Health by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Practical Emergency and Critical Care Veterinary Nursing by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Governing Cross-Sector Collaboration by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Leading the Epic Revolution by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book The Sustainability Mindset by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book The Little Book of Trading by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Jealousy: A Forbidden Passion by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Inside the Gas Chambers by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Programs and Interventions for Maltreated Children and Families at Risk by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Oral Bioavailability Assessment by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Sweet Reason by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Aquaculture Biotechnology 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