Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures. - Elina Unruh; Patrick Delfmann; Matthias Thimm (CBI (1), 2021)