The following publications are possibly variants of this publication:
- State-space Construction of Hybrid Petri Nets with Multiple Stochastic FiringsJannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke. tomacs, 31(3), 2021. [doi]
- Classic and non-prophetic model checking for hybrid Petri nets with stochastic firingsCarina Pilch, Arnd Hartmanns, Anne Remke. hybrid 2020: [doi]
- Hybrid Petri nets with multiple stochastic transition firingsHamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort. valuetools 2015: [doi]
- Hybrid Petri nets with multiple stochastic transition firingsHamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort. sas, 1(3), 2015. [doi]
- Analyzing Hybrid Petri nets with multiple stochastic firings using HyProJannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám. valuetools 2017: 178-185 [doi]
- A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid AutomataCarina Pilch, Maurice Krause, Anne Remke, Erika Ábrahám. NFM 2020: 381-400 [doi]
- Model checking hybrid Petri nets with multiple general transition firingsJannik Hüls. PhD thesis, University of Münster, Germany, 2020. [doi]