hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions. - Jannik Hüls; Henner Niehaus; Anne Remke (NFM, 2020)

State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. - Jannik Hüls; Carina Pilch; Patricia Schinke; Henner Niehaus; Joanna Delicaris; Anne Remke (ACM Trans. Model. Comput. Simul., 2021)