Книга "Systems Dependability Assessment" посвящена использованию сетей Петри в оценке надежности систем. Сети Петри были разработаны для изучения дискретных систем, и в дальнейшем были расширены для многих целей, включая оценку надежности. В книге рассматриваются различные типы сетей Петри и их применение в задачах, связанных с надежностью, таких как анализ рисков и вероятностная оценка. В первой части книги кратко описываются основные модели сетей Петри и их расширения. Во второй части сети Петри используются в качестве формальной модели для описания процесса развития критических систем в рамках онтологического подхода. Третья часть книги фокусируется на стохастических сетях Петри и их применении в оценке надежности. Представлены различные формальные модели стохастических сетей Петри и их эквивалентность соответствующему классу марковских процессов для получения аналитической оценки надежности. Предлагаются методы упрощения для уменьшения размера аналитической модели и повышения ее вычислительной эффективности. Введение некоторых концепций, специфических для высокоуровневых сетей Петри, также позволяет учитывать сложные системы. Несколько применений в области систем инструментирования и управления, интегрированных систем безопасности подчеркивают преимущества стохастических сетей Петри для оценки надежности.
«Оценка надежности систем» Жана-Фредерика Обер Автор предлагает способ оценки надежности технических систем с использованием коммутирующих сетей Петри (ПН), автоматики и теории вероятности. Цель работы – показать адекватность использования ПН для решения как общих, так и специфических проблем исследования надежности, таких как анализ рисков и вероятностные методы оценки.
Электронная Книга «Systems Dependability Assessment» написана автором Jean-Francois Aubry в году.
Минимальный возраст читателя: 0
Язык: Английский
ISBN: 9781119262107
Описание книги от Jean-Francois Aubry
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.
