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

DOI10.1007/978-3-030-30281-8_11MaRDI QIDQ6489003

Jannik Hüls, Unnamed Author, Unnamed Author, Anne Remke, Carina Pilch

Publication date: 14 March 2024

Mathematics Subject Classification ID

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

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