Highly Influenced

# 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} }

- Published 1995 in GULP-PRODE

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

#### From This Paper

##### Figures, tables, and topics from this paper.

#### Citations

##### Publications citing this paper.

#### References

##### Publications referenced by this paper.

Showing 1-8 of 8 references

Highly Influential

Highly Influential