Two Algebraic Process Semantics for Contextual Nets
Two Algebraic Process Semantics for Contextual Nets
We show that the so-called 'Petri nets are monoids' approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable non-free monoids of places. The algebraic characterizations of net concurrent computations we provide cover both the collective and the individual token philosophy, uniformly along the two interpretations, and coincide with the classical proposals for place/transition Petri nets in the absence of read-arcs.
petri nets, petri nets processes, context transitions, contextual petri nets
3-540-43067-9
427-456
Bruni, R.
826fb8bb-f463-4440-8536-ef7f2da1a23a
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Ehrig, H.
a205f4df-369c-4184-bf3f-1597dad6c373
Juhäs, G.
468d57c6-8fca-4e14-a690-adf00230ec3d
Padberg, J.
2eb0ccf0-ffbb-451d-b81e-10f819f4f742
Rozenberg, G.
57dc8de6-a371-4134-a52c-5bb01d9aa158
2001
Bruni, R.
826fb8bb-f463-4440-8536-ef7f2da1a23a
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Ehrig, H.
a205f4df-369c-4184-bf3f-1597dad6c373
Juhäs, G.
468d57c6-8fca-4e14-a690-adf00230ec3d
Padberg, J.
2eb0ccf0-ffbb-451d-b81e-10f819f4f742
Rozenberg, G.
57dc8de6-a371-4134-a52c-5bb01d9aa158
Bruni, R. and Sassone, V.
(2001)
Two Algebraic Process Semantics for Contextual Nets.
Ehrig, H., Juhäs, G., Padberg, J. and Rozenberg, G.
(eds.)
Unifying Petri Nets.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
We show that the so-called 'Petri nets are monoids' approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable non-free monoids of places. The algebraic characterizations of net concurrent computations we provide cover both the collective and the individual token philosophy, uniformly along the two interpretations, and coincide with the classical proposals for place/transition Petri nets in the absence of read-arcs.
Text
ctxBookoff.pdf
- Other
More information
Published date: 2001
Venue - Dates:
Unifying Petri Nets, 2001-01-01
Keywords:
petri nets, petri nets processes, context transitions, contextual petri nets
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 261826
URI: http://eprints.soton.ac.uk/id/eprint/261826
ISBN: 3-540-43067-9
PURE UUID: c3f7fe06-7e65-4c4d-8bbf-34fab932119d
Catalogue record
Date deposited: 05 Feb 2006
Last modified: 10 Sep 2024 01:40
Export record
Contributors
Author:
R. Bruni
Author:
V. Sassone
Editor:
H. Ehrig
Editor:
G. Juhäs
Editor:
J. Padberg
Editor:
G. Rozenberg
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