Return to Article Details Linear Logic on Petri Nets Download Download PDF