Explore projects

This project contains the execution scripts to the QEST special issue "State-space construction of Hybrid Petri nets with multiple stochastic firings" (to be) published in September 2020.