Article View: comp.specification
Article #158Re: Petri nets as a CCC
From: S. Mantha (co-op)
Date: Tue, 31 Jul 1990 18:19
Date: Tue, 31 Jul 1990 18:19
22 lines
1266 bytes
1266 bytes
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
Technical Details
Message-ID:
<469@spot.wbst128.xerox.com>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!usc!zaphod.mps.ohio-state.edu!ub!uhura.cc.rochester.edu!rochester!spot!manthaReferences:
<5914@vanuata.cs.glasgow.ac.uk>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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