Xref: utzoo comp.specification:103 sci.math:11834 sci.logic:914
Path: 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

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