Engberg, U.; Winskel, G. Petri Nets As Models of Linear Logic. DPB 1990, 19.