For the most recent entries see the Petri Nets Newsletter.

Nets as Tensor Theories.

Gunter, Carl; Gehlot, Vijay

In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany, pages 174-191. 1989.

Also as: Extended version: Report MS--CIS--89--68, Logic & Computation 17. Philadelphia, PA, USA: University of Pennsylvania, School of Engineering and Applied Science, Department of Computer and Information Science, October 1989.

Abstract: This report is intended to describe and motivate a relationship between a class of nets and the fragment of linear logic built from the tensor connective. In this fragment of linear logic a net may be represented as a theory and a computation on a net as a proof. A rigorous translation is described and a soundness and completeness theorem is stated.


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

Back to the Petri Nets Bibliography