Checking system boundedness using ordinary differential equations (Q454908)

From MaRDI portal
Revision as of 17:06, 19 March 2024 by Maintenance script (talk | contribs) (rollbackEdits.php mass rollback)
scientific article
Language Label Description Also known as
English
Checking system boundedness using ordinary differential equations
scientific article

    Statements

    Checking system boundedness using ordinary differential equations (English)
    0 references
    0 references
    0 references
    0 references
    10 October 2012
    0 references
    0 references
    Petri net
    0 references
    boundedness
    0 references
    ordinary differential equation
    0 references
    coverability graph
    0 references