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
default for all languages
No label defined
    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
      0 references
      0 references
      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

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references