A categorical linear framework for Petri nets
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 208-218
- https://doi.org/10.1109/lics.1990.113747
Abstract
This research brings together, in a methodical way, several approaches to giving a compositional theory of Petri nets using category theory and to the use of linear logic in specifying and reasoning about Petri nets. The authors construct categories of nets based on V.C.V. de Paiva's dialectica category models (1989) of linear logic in which they are able to exploit the structure of de Paiva's models to give constructions on categories of nets. Using a category of safe nets as an example, it is shown how this approach yields both existing and novel constructions on nets and their computational interpretation is discussed. The authors also indicate how more general categories of nets can be expressed in this framework.<>Keywords
This publication has 6 references indexed in Scilit:
- Petri nets are monoids: a new algebraic foundation for net theoryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A category of labelled Petri nets and compositional proof systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A dialectica-like model of linear logicPublished by Springer Nature ,1989
- Petri nets, algebras, morphisms, and compositionalityInformation and Computation, 1987
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- On realization and implementationPublished by Springer Nature ,1981