Skip to content
NUM polytopes integration method as used in the QEST special issue "State-space construction of Hybrid Petri nets with multiple stochastic firings"