Tags give the ability to mark specific points in history as being important
-
num-polytopes
e1c4f256 · ·NUM polytopes integration method as used in the QEST special issue "State-space construction of Hybrid Petri nets with multiple stochastic firings"
-
num-simplices
37009c3e · ·NUM simplices integration method as used in the QEST special issue "State-space construction of Hybrid Petri nets with multiple stochastic firings"