Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods (Q5267131)

From MaRDI portal
scientific article; zbMATH DE number 6732859
Language Label Description Also known as
English
Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods
scientific article; zbMATH DE number 6732859

    Statements

    Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods (English)
    0 references
    20 June 2017
    0 references
    0 references
    0 references

    Identifiers