The University of Southampton
University of Southampton Institutional Repository

Two Algebraic Process Semantics for Contextual Nets

Record type: Conference or Workshop Item (Paper)

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.

PDF ctxBookoff.pdf - Other
Download (368kB)

Citation

Bruni, R. and Sassone, V., (2001) Two Algebraic Process Semantics for Contextual Nets Ehrig, H., Juhäs, G., Padberg, J. and Rozenberg, G. (eds.) At Unifying Petri Nets. , pp. 427-456.

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: 18 Jul 2017 08:58

Export record

Contributors

Author: R. Bruni
Author: V. Sassone
Editor: H. Ehrig
Editor: G. Juhäs
Editor: J. Padberg
Editor: G. Rozenberg

University divisions


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.

×