collaborators

1 paper

cs.FL2020

State-space construction of Hybrid Petri nets with multiple stochastic firings

Jannik Hüls, Carina Pilch, Patricia Schinke +3

Hybrid Petri nets have been extended to include general transitions that fire after a randomly distributed amount of time. With a single general one-shot transition the state space…