jack@cs.glasgow.ac.uk (Jack Campin) (07/27/90)
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