A. Cheng, J. Esparza, and J. Palsberg, “Complexity Results for 1-safe Nets”, DPB, vol. 22, no. 455, Sep. 1993.