Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition
From MaRDI portal
Publication:4649392
DOI10.1007/978-3-642-33365-1_11zbMath1374.68329OpenAlexW25055331MaRDI QIDQ4649392
Anne Remke, Boudewijn R. Haverkort, Hamed Ghasemieh, Marco Gribaudo
Publication date: 21 November 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33365-1_11
Related Items
Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes ⋮ Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
This page was built for publication: Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition