file.pdf (156.36 kB)

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

Download (156.36 kB)
journal contribution
posted on 01.08.1995 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.

History

Date

01/08/1995

Exports

Exports