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 The Wiley Handbook on the Aging Mind and Brain by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Mid-Latitude Atmospheric Dynamics by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Monitoring and Modelling Dynamic Environments by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Understanding Delta-Sigma Data Converters by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Sustainable Construction Processes by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Distributed Model Predictive Control for Plant-Wide Systems by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Microfluidics by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Be Expert with Map and Compass by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book The Listening Leader by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Flight Formation Control by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Systematics by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book International Civil Society by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Selling Luxury by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book High-Powered Investing All-in-One For Dummies by Nicolae Brinzei, Mohammed-Habib Mazouni, Jean-Francois Aubry
Cover of the book Image, Video and 3D Data Registration 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