Petri nets as a CCC

Thread View: comp.specification

3 messages

[T] Back to Threads [V] Tree View [G] Group Articles

3 total messages Started by Jack Campin Fri, 27 Jul 1990 16:31

#149

Author: 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

Re: Petri nets as a CCC

#152

Author: S. Mantha (co-op)
Date: Tue, 31 Jul 1990 15:37

22 lines
1206 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

Re: Petri nets as a CCC

#158

Author: S. Mantha (co-op)
Date: Tue, 31 Jul 1990 18:19

22 lines
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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads