Stefan Haar, Loïc Paulevé, Stefan Schwoon: Drawing the Line: Basin Boundaries in Safe Petri Nets. CMSB 2020: 321-336