The University of Southampton
University of Southampton Institutional Repository

Algebraic Models for Contextual Nets

Bruni, R. and Sassone, V. (2000) Algebraic Models for Contextual Nets At 27th International Colloquium on Automata, Languages and Programming, ICALP 2000.. , pp. 175-186.

Record type: Conference or Workshop Item (Paper)

Abstract

We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual token philosophy uniformly along the two interpretations of net behaviors.

PDF algModCtxICALPoff.pdf - Other
Download (191kB)

More information

Published date: 2000
Venue - Dates: 27th International Colloquium on Automata, Languages and Programming, ICALP 2000., 2000-01-01
Keywords: petri nets, petri nets processes, context transitions, contextual petri nets
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 261959
URI: http://eprints.soton.ac.uk/id/eprint/261959
ISBN: 3-540-67715-1
PURE UUID: 0c325378-5c81-4fb7-a1e8-135a8ffdf796

Catalogue record

Date deposited: 13 Feb 2006
Last modified: 18 Jul 2017 08:56

Export record

Contributors

Author: R. Bruni
Author: V. Sassone

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.

×