Petri nets as a CCC

Article View: comp.specification

Article #149

Back to comp.specification Previous Next

#149

From: Jack Campin
Date: Fri, 27 Jul 1990 16:31

10 lines
993 bytes

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?

-- 
--  Jack Campin   Computing Science Department, Glasgow University, 17 Lilybank
Gardens, Glasgow G12 8QQ, Scotland   041 339 8855 x6044 work  041 556 1878 home
JANET: jack@cs.glasgow.ac.uk    BANG!net: via mcsun and ukc   FAX: 041 330 4913
INTERNET: via nsfnet-relay.ac.uk   BITNET: via UKACRL   UUCP: jack@glasgow.uucp

Technical Details

Message-ID: <5914@vanuata.cs.glasgow.ac.uk>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!mit-eddie!bloom-beacon!eru!luth!sunic!mcsun!ukc!strath-cs!cs.glasgow.ac.uk!jack

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!mit-eddie!bloom-beacon!eru!luth!sunic!mcsun!ukc!strath-cs!cs.glasgow.ac.uk!jack
From: jack@cs.glasgow.ac.uk (Jack Campin)
Newsgroups: comp.specification,sci.math,sci.logic
Subject: Petri nets as a CCC
Message-ID: <5914@vanuata.cs.glasgow.ac.uk>
Date: 27 Jul 90 16:31:47 GMT
Organization: Computing Sci, Glasgow Univ, Scotland
Lines: 10