Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!usc!zaphod.mps.ohio-state.edu!ub!uhura.cc.rochester.edu!rochester!spot!mantha
From: mantha@rocksanne.uucp (S. Mantha (co-op))
Newsgroups: comp.specification
Subject: Re: Petri nets as a CCC
Message-ID: <469@spot.wbst128.xerox.com>
Date: 31 Jul 90 18:19:18 GMT
References: <5914@vanuata.cs.glasgow.ac.uk>
Sender: news@spot.wbst128.xerox.com
Reply-To: mantha@pinchhit.UUCP (S. Mantha (co-op))
Organization: Xerox Corporation, Webster Research Center
Lines: 22

In article <5914@vanuata.cs.glasgow.ac.uk> jack@cs.glasgow.ac.uk (Jack Campin) writes:
>Someone Very Famous Who Shall Remain Nameless told me that Petri nets form
>a Cartesian closed category (apparently this is used in some of the new
>models for linear logic).  Can somebody explain how, or give a reference to
>the construction?
>

	I don't know which papers you are looking for, but here are
two interesting references:

	Petri Nets are Monoids
     by  Jose Meseguer and Ugo Montanari
         SRI, Menlo Park CA 94025 USA     (and they are famous enough :-))
  

        From Petri Nets to Linear Logic
     by  Narciso Marti-Oliet and Jose Meseguer
        SRI and CSLI Stanford, CA 94305


cheers
Surya Mantha