%0 Journal Article %A Cervesato, Iliano %D 1995 %T Petri Nets and Linear Logic: a Case Study for Logic Programming %U https://kilthub.cmu.edu/articles/journal_contribution/Petri_Nets_and_Linear_Logic_a_Case_Study_for_Logic_Programming/6608369 %R 10.1184/R1/6608369.v1 %2 https://kilthub.cmu.edu/ndownloader/files/12099788 %K petri nets %K multiset rewriting systems %K linear logic %K logic programming %X he paper reports on an experiment with the major linear logic programming languages defined in the recent years: Lolli, LO and Forum. As a case study, we consider the representation of a class of Petri nets, P/Tω nets, in each of these languages. %I Carnegie Mellon University