On‐the‐Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets (Q4597527)
From MaRDI portal
scientific article; zbMATH DE number 6818049
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On‐the‐Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets |
scientific article; zbMATH DE number 6818049 |
Statements
On‐the‐Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets (English)
0 references
13 December 2017
0 references
discrete event system
0 references
fault diagnosis
0 references
incremental search
0 references
labeled Petri net
0 references
on-the-fly analysis
0 references
