Login / Signup
Henner Niehaus
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 3
Top Topics
Deterministic Finite Automaton
Ims Ld
Petri Net
Discrete Event Systems
Top Venues
CoRR
ACM Trans. Model. Comput. Simul.
NFM
</>
Publications
</>
Jannik Hüls
,
Carina Pilch
,
Patricia Schinke
,
Henner Niehaus
,
Joanna Delicaris
,
Anne Remke
State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.
ACM Trans. Model. Comput. Simul.
31 (3) (2021)
Jannik Hüls
,
Henner Niehaus
,
Anne Remke
hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions.
NFM
(2020)
Jannik Hüls
,
Carina Pilch
,
Patricia Schinke
,
Henner Niehaus
,
Joanna Delicaris
,
Anne Remke
State-space construction of Hybrid Petri nets with multiple stochastic firings.
CoRR
(2020)