The following publications are possibly variants of this publication:
- Hybrid Petri nets with general one-shot transitionsMarco Gribaudo, Anne Remke. pe, 105:22-50, 2016. [doi]
- Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri NetsHamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort. prdc 2013: 152-161 [doi]
- Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot TransitionHamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Marco Gribaudo. formats 2012: 139-154 [doi]
- Classic and non-prophetic model checking for hybrid Petri nets with stochastic firingsCarina Pilch, Arnd Hartmanns, Anne Remke. hybrid 2020: [doi]
- Simulating Hybrid Petri nets with general transitions and non-linear differential equationsMathis Niehage, Carina Pilch, Anne Remke. valuetools 2020: 88-95 [doi]
- Statistical Model Checking for Hybrid Petri Nets with Multiple General TransitionsCarina Pilch, Anne Remke. dsn 2017: 475-486 [doi]
- hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General TransitionsJannik Hüls, Henner Niehaus, Anne Remke. NFM 2020: 369-378 [doi]