Return to Article Details Completeness Results for Linear Logic on Petri Nets Download Download PDF