The University of Southampton
University of Southampton Institutional Repository

Two Algebraic Process Semantics for Contextual Nets

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
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. pp. 427-456 .

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
Download (368kB)

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: 14 Mar 2024 06:59

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×