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.

Combined Animal Tracking & Environment Reconstruction

Various helm charts for sciebo RDS

Container for CI, local development

Kubernetes CSI plugin for mounting ownCloud using WebDAV