On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets (Q4361121)

From MaRDI portal
Revision as of 08:12, 22 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 1078936
Language Label Description Also known as
English
On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
scientific article; zbMATH DE number 1078936

    Statements

    On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets (English)
    0 references
    14 December 1997
    0 references
    controlled Petri nets
    0 references
    supervisor
    0 references
    liveness
    0 references
    minimally restrictive supervisory policy
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references