22

Fault Diagnosis in Petri Nets

Elvia Ruiz-Beltrán, Antonio Ramirez-Treviño and J.L. Orozco-Mora

CONTENTS

22.1 Introduction

22.2 Basic Concepts

22.2.1 Petri Nets

22.2.2 Interpreted Petri Nets

22.3 System Modelling

22.3.1 Modelling System Normal Behaviour

22.3.2 Modelling Potential Operational Faults

22.3.3 Modelling Potential Permanent Faults

22.4 Diagnosability Definition

22.5 Characterization of Diagnosable IPN Models

22.6 Diagnosability Analysis

22.7 Diagnoser Design

22.7.1 Online Diagnoser Scheme

22.7.2 Components Design

21.7.2.1 Events-Reconstruction Module

22.7.2.2 Actual Functioning Model

22.7.2.2.1 Structure

22.7.2.2.2 Initial Marking

22.7.2.2.3 Firing Transition Rule

22.7.2.3 Required Functioning Model

22.7.2.4 Fault Isolation

Get Formal Methods in Manufacturing now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial