Institute for Web Science and Technologies · Universität Koblenz - Landau
Institute WeST

Quantitative Deadlock Analysis in Petri Nets

[go to overview]
Elina Unruh

Petri nets are a tool to model processes, often they are used to check procedures and find deadlocks. In most cases it is only determined whether the Petri net contains a deadlock or not, in order to eliminate or avoid it. A so far little considered question is how the severity of such conflicts can be formally investigated and assessed. Therefore the goal of my bachelor thesis is to develop approaches to evaluate deadlocks in petri-nets.

Video of the talk


27.08.20 - 10:15
via Big Blue Button