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.

Nützliche Dokumentationen und How-Tos

A parser for citation references

Samples for PACXX