Algebraic theories for contextual pre-nets
Algebraic theories for contextual pre-nets
The algebraic models of computation for contextual nets that have been proposed in the literature either rely on a non-free monoid of objects, or introduce too many fictitious behaviors that must be somewhat filtered out. In this paper, we exploit partial membership equational logic to define a suitable theory of models, where the meaningful concurrent computations can be selected by means of membership predicates.
petri nets, contextual petri nets, pre-nets, contextual pre-nets, petri nets process semantics, petri nets algebraic models, petri nets categorical semantics
3-540-20216-1
256-270
Bruni, R.
826fb8bb-f463-4440-8536-ef7f2da1a23a
Meseguer, J.
fdb4acf3-5cf5-440b-8618-8aeb9d0159d1
Montanari, U.
45418952-b856-4910-94c1-5ff3c7c19938
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Blundo, C.
5e40f780-2e97-4f9a-910c-11ef2e5be531
Laneve, C.
eee8b619-dc79-4fc8-b2fb-901e8cc8642e
2003
Bruni, R.
826fb8bb-f463-4440-8536-ef7f2da1a23a
Meseguer, J.
fdb4acf3-5cf5-440b-8618-8aeb9d0159d1
Montanari, U.
45418952-b856-4910-94c1-5ff3c7c19938
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Blundo, C.
5e40f780-2e97-4f9a-910c-11ef2e5be531
Laneve, C.
eee8b619-dc79-4fc8-b2fb-901e8cc8642e
Bruni, R., Meseguer, J., Montanari, U. and Sassone, V.
(2003)
Algebraic theories for contextual pre-nets.
Blundo, C. and Laneve, C.
(eds.)
8th Italian Conference on Theoretical Computer Science, ICTCS 2003..
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
The algebraic models of computation for contextual nets that have been proposed in the literature either rely on a non-free monoid of objects, or introduce too many fictitious behaviors that must be somewhat filtered out. In this paper, we exploit partial membership equational logic to define a suitable theory of models, where the meaningful concurrent computations can be selected by means of membership predicates.
Text
mcpnICTCSoff.pdf
- Other
More information
Published date: 2003
Venue - Dates:
8th Italian Conference on Theoretical Computer Science, ICTCS 2003., 2003-01-01
Keywords:
petri nets, contextual petri nets, pre-nets, contextual pre-nets, petri nets process semantics, petri nets algebraic models, petri nets categorical semantics
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 262295
URI: http://eprints.soton.ac.uk/id/eprint/262295
ISBN: 3-540-20216-1
PURE UUID: f6fb81a1-ec52-49f0-baca-b097a1531f8e
Catalogue record
Date deposited: 11 Apr 2006
Last modified: 10 Sep 2024 01:40
Export record
Contributors
Author:
R. Bruni
Author:
J. Meseguer
Author:
U. Montanari
Author:
V. Sassone
Editor:
C. Blundo
Editor:
C. Laneve
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