Elina Unruh, Patrick Delfmann, Matthias Thimm. Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures. In João Paulo A. Almeida, Dominik Bork, Giancarlo Guizzardi, Marco Montali, Henderik A. Proper, Tiago Prince Sales, editors, 23rd IEEE Conference on Business Informatics, CBI 2021, Bolzano, Italy, September 1-3, 2021. Volume 1. pages 42-51, IEEE, 2021. [doi]
Abstract is missing.