Representation Theorems for Petri Nets
Representation Theorems for Petri Nets
This paper retraces, collects, summarises, and mildly extends the contributions of the authors --- both together and individually --- on the theme of representing the space of computations of Petri nets in its mathematical essence.
petri nets semantics, petri nets processes, symmetric monoidal categories
3-540-63746-X
239-249
Meseguer, J.
fdb4acf3-5cf5-440b-8618-8aeb9d0159d1
Montanari, U.
45418952-b856-4910-94c1-5ff3c7c19938
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
1997
Meseguer, J.
fdb4acf3-5cf5-440b-8618-8aeb9d0159d1
Montanari, U.
45418952-b856-4910-94c1-5ff3c7c19938
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Meseguer, J., Montanari, U. and Sassone, V.
(1997)
Representation Theorems for Petri Nets.
Foundations of Computer Science : Potential - Theory - Cognition..
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
This paper retraces, collects, summarises, and mildly extends the contributions of the authors --- both together and individually --- on the theme of representing the space of computations of Petri nets in its mathematical essence.
Text
brauerFCSoff.pdf
- Other
More information
Published date: 1997
Venue - Dates:
Foundations of Computer Science : Potential - Theory - Cognition., 1997-01-01
Keywords:
petri nets semantics, petri nets processes, symmetric monoidal categories
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 261956
URI: http://eprints.soton.ac.uk/id/eprint/261956
ISBN: 3-540-63746-X
PURE UUID: 6a929e90-3e03-4098-9ada-9ff1b874dd00
Catalogue record
Date deposited: 12 Feb 2006
Last modified: 10 Sep 2024 01:40
Export record
Contributors
Author:
J. Meseguer
Author:
U. Montanari
Author:
V. Sassone
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics