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.

This project includes exemplary applications supplementing the my bachelor thesis.

The full text of the thesis can also be found in this repository.