Cheng, A.; Esparza, J.; Palsberg, J. Complexity Results for 1-Safe Nets. DPB 1993, 22.