Engberg, U.; Winskel, G. Completeness Results for Linear Logic on Petri Nets. DPB 1993, 22.