On Almost-Sure Properties of Probabilistic Discrete Event Systems (Q3100947)

From MaRDI portal





scientific article
Language Label Description Also known as
English
On Almost-Sure Properties of Probabilistic Discrete Event Systems
scientific article

    Statements

    On Almost-Sure Properties of Probabilistic Discrete Event Systems (English)
    0 references
    0 references
    22 November 2011
    0 references
    forbidden-state avoidance
    0 references
    Petri net
    0 references
    probabilistic controlled transition system
    0 references
    reachability
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references