Runtime Verification of temporal Petri Net Properties

Problem Statement - Beschreibung

In the recent years several extensions to the traditional Petri Net model have been suggested, e.g. temporal extensions.

While such extensions allow for a more realistic modelling of processes they tend to increase the complexity of static analysis methods.

The goal of this thesis is to explore to which degree Stream Runtime Verification is suited for Runtime Verification of temporal properties of Timed Petri Nets.