For the most recent entries see the Petri Nets Newsletter.

Petri Net as Quantales.

Brown, Carolyn

LFCS Series, Report ECS-LFCS-89-96. University of Edinburgh, UK, Laboratory for Foundations of Computer Science, 1989.

Abstract: The work presented here was motivated by the desire to understand more fully the connection between Peteri nets and linear logic. It is well-known that evolution in Petri nets corresponds to linear proof. The author shows that quantales are models of linear logic. This makes it possible to interpret a large fragment of linear logic using the behaviour of Petri nets.

Keywords: quantale; linear logic.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography