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

@inproceedings{Cervesato1995PetriNA,
  title={Petri Nets and Linear Logic: a Case Study for Logic Programming},
  author={Iliano Cervesato},
  booktitle={GULP-PRODE},
  year={1995}
}
The 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. 
Highly Cited
This paper has 33 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-8 of 8 references

Pareschi: “Linear Objects: Logical Processes with Built-in Inheritance

  • R.J.M. Andreoli
  • in International Conference on Logic Programming…
  • 1990
3 Excerpts

A logic for Concurrency

  • A. Asperti
  • 1987
1 Excerpt

Asperti : “ A logic for Concurrency ” , Manuscript , November 1987 . [ 3 ] I . Cervesato : “ Petri Nets as Multiset Rewriting Systems in a Linear Framework ” Girard : “ Linear Logic ”

  • D. Miller Hodas
  • , in Theoretical Computer Science
  • 1987

Petri Nets, an Introduction

  • W. Reisig
  • 1985
1 Excerpt

Similar Papers

Loading similar papers…