Liveness enforcement for production systems modeled by time Petri nets (Q6052675)

From MaRDI portal
scientific article; zbMATH DE number 7741658
Language Label Description Also known as
English
Liveness enforcement for production systems modeled by time Petri nets
scientific article; zbMATH DE number 7741658

    Statements

    Liveness enforcement for production systems modeled by time Petri nets (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    22 September 2023
    0 references
    Petri net
    0 references
    time Petri net
    0 references
    liveness enforcement
    0 references
    maximally permissive controller
    0 references
    controllable transition
    0 references

    Identifiers