On the Decidability and Complexity of Diagnosability for Labeled Petri Nets (Q4566964)

From MaRDI portal





scientific article; zbMATH DE number 6895887
Language Label Description Also known as
default for all languages
No label defined
    English
    On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
    scientific article; zbMATH DE number 6895887

      Statements

      On the Decidability and Complexity of Diagnosability for Labeled Petri Nets (English)
      0 references
      0 references
      0 references
      27 June 2018
      0 references

      Identifiers