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