State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings

DOI10.1007/978-3-030-30281-8_11MaRDI QIDQ6489003zbMATH OpenFDO

Authors Jannik Hüls, Carina Pilch, Anne Remke

Publication date 14 March 2024

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• State-space construction of hybrid Petri nets with multiple stochastic firings
• scientific article; zbMATH DE number 817539
• Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes
• scientific article; zbMATH DE number 956814
• Region-based analysis of hybrid Petri nets with a single general one-shot transition

Cited in

(4)

• Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
• State-space construction of hybrid Petri nets with multiple stochastic firings
• Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
• Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes

This page was built for publication: State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489003)