State space computation and analysis of Time Petri Nets (Q5476391)

From MaRDI portal
scientific article; zbMATH DE number 5041263
Language Label Description Also known as
English
State space computation and analysis of Time Petri Nets
scientific article; zbMATH DE number 5041263

    Statements

    State space computation and analysis of Time Petri Nets (English)
    0 references
    0 references
    0 references
    0 references
    14 July 2006
    0 references
    time Petri nets
    0 references
    timed automata
    0 references
    bisimulation
    0 references
    reachability analysis
    0 references
    zones
    0 references
    0 references
    0 references

    Identifiers