↓Skip to main content

A New Product Construction for the Diagnosability of Patterns in Time Petri Net

Verification Twina Time Petri Nets Diagnosability
Table of Contents

Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
In CDC 2020 — 59th IEEE Conference on Decision and Control, dec 2020.

conference paper

 PDF  DOI〈10.1109/CDC42340.2020.9303826〉

Abstract
#

We propose a method to decide the diagnosability of patterns in labeled Time Petri nets (TPN) that gracefully extends a classic approach for the diagnosability of single faults. Our approach is based on a new technique for computing the language intersection of TPN and on an associated extension of the State Class Graph construction. Our approach has been implemented and we report on some experimental results.

Citation
#


@InProceedings{DalzilioS:cdc2020diag,
   author    = {Lubat, Éric and {Dal Zilio}, Silvano and {Le Botlan}, Didier and Pencolé, Yannick and Subias, Audine},
   title     = {{A New Product Construction for the Diagnosability of Patterns in Time Petri Net}},
   booktitle = {CDC 2020 -- 59th IEEE Conference on Decision and Control},
   publisher = {IEEE Computer Society},
   doi = {10.1109/CDC42340.2020.9303826},
   month     = dec, 
   year      = 2020
}