Cheng, A., Esparza, J. and Palsberg, J. (1993) “Complexity Results for 1-safe Nets”, DAIMI Report Series, 22(455). doi: 10.7146/dpb.v22i455.6773.