@inproceedings{karloaguirresamboni:hal-03773855, TITLE = {{Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets}}, AUTHOR = {Karlo Aguirre-Sambon{\'i}, Giann and Haar, Stefan and Paulev{\'e}, Lo{\"i}c and Schwoon, Stefan and W{\"u}rdemann, Nick}, URL = {https://inria.hal.science/hal-03773855}, BOOKTITLE = {{GandALF 2022 - Games, Automata, Logics, and Formal Verification}}, ADDRESS = {Madrid, Spain}, YEAR = {2022}, MONTH = Sep, DOI = {10.4204/EPTCS.370.12}, PDF = {https://inria.hal.science/hal-03773855/file/Gandalf2022%282%29.pdf}, HAL_ID = {hal-03773855}, HAL_VERSION = {v1}, }