Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680)

From MaRDI portal





scientific article; zbMATH DE number 6652809
Language Label Description Also known as
default for all languages
No label defined
    English
    Petri net controllers for generalized mutual exclusion constraints with floor operators
    scientific article; zbMATH DE number 6652809

      Statements

      Petri net controllers for generalized mutual exclusion constraints with floor operators (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      14 November 2016
      0 references
      supervisory control
      0 references
      Petri net
      0 references
      generalized mutual exclusion constraint
      0 references
      stair-GMEC
      0 references
      0 references

      Identifiers