Deciding detectability for labeled Petri nets (Q1737932)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Deciding detectability for labeled Petri nets
scientific article

    Statements

    Deciding detectability for labeled Petri nets (English)
    0 references
    0 references
    0 references
    0 references
    24 April 2019
    0 references
    discrete event systems
    0 references
    Petri nets
    0 references
    detectability
    0 references
    complexity
    0 references
    decidability
    0 references

    Identifiers