Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs (Q2842655)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs
scientific article

    Statements

    Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs (English)
    0 references
    0 references
    0 references
    0 references
    16 August 2013
    0 references
    0 references
    time Petri nets
    0 references
    quantitative robustness
    0 references
    parameter synthesis
    0 references
    0 references