@inproceedings{Unruh:2021s,
	author = {Elina Unruh and Patrick Delfmann and Matthias Thimm},
	booktitle = {Proceedings of the 23rd IEEE International Conference on Business Informatics (IEEE CBI 2021)},
	month = {September},
	pages = {42--51},
	title = {Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures},
	year = {2021}}