About Completeness Results for Linear Logic on Petri Nets (1993)
Completeness Results for Linear Logic on Petri Nets (1993)- (CiteSeer) Article by Engberg and Winskel showing that Petri nets provide a class of model for linear logic that is complete.