Algebraic Models for Contextual Nets
Algebraic Models for Contextual Nets
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.
petri nets, petri nets processes, context transitions, contextual petri nets
3-540-67715-1
175-186
Bruni, R.
826fb8bb-f463-4440-8536-ef7f2da1a23a
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
2000
Bruni, R.
826fb8bb-f463-4440-8536-ef7f2da1a23a
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Bruni, R. and Sassone, V.
(2000)
Algebraic Models for Contextual Nets.
27th International Colloquium on Automata, Languages and Programming, ICALP 2000..
.
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.
Text
algModCtxICALPoff.pdf
- Other
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: 14 Mar 2024 07:02
Export record
Contributors
Author:
R. Bruni
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