On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets (Q5352711)

From MaRDI portal





scientific article; zbMATH DE number 6771509
Language Label Description Also known as
default for all languages
No label defined
    English
    On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets
    scientific article; zbMATH DE number 6771509

      Statements

      On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets (English)
      0 references
      8 September 2017
      0 references
      0 references

      Identifiers