file.pdf (156.36 kB)
Download file

Petri Nets and Linear Logic: a Case Study for Logic Programming

Download (156.36 kB)
journal contribution
posted on 01.08.1995, 00:00 by Iliano Cervesato
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.