Roberto Bruni, Vladimiro Sassone  Home/Search
Context Related
| di.unipi.it/~bruni/publ...uapnctx.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.unipi.it/~br...ListOfAbstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Context of citations to this paper: More
...of markings can be lifted to the computation level to characterize the concurrent net behaviors algebraically. In [BS00] full version in [BS01]) the Petri nets are monoids approach is extended to contextual nets by considering monoidal categories of computations over a non...
Cited by: More
Algebraic Theories for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2001) (Correct)
Functorial Models for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2002) (Correct)
Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002) (Correct)
Similar documents (at the sentence level):
16.4%: Algebraic Models for Contextual Nets - Bruni, Sassone (2000) (Correct)
Active bibliography (related documents): More All
1.0: Transactions and Zero-Safe Nets - Bruni, Montanari (2001) (Correct)
0.7: The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
0.7: Contextual Petri Nets, Asymmetric Event Structures, and.. - Baldan, Corradini.. (1999) (Correct)
Similar documents based on text: More All
0.6: Rewriting Logic as a Unifying Framework for Petri Nets - Stehr, Meseguer, Csaba (2001) (Correct)
0.4: Functorial Models for Petri Nets - Bruni, Meseguer, Montanari, al. (2001) (Correct)
0.3: Dynamic Bisimilarity for Reconfigurable and Mobile.. - Bruni, Montanari.. (Correct)
Related documents from co-citation: More All
6: Computing raster images from grid picture grammars - Drewes, Ewert et al.
4: Mapping Tile Logic into Rewriting Logic - Meseguer, Montanari - 1998
4: the syntactic structure of celtic knotwork (context) - Drewes, Klempien-Hinrichs et al. - 2000
BibTeX entry: (Update)
R. Bruni and V. Sassone. Two algebraic process semantics for contextual nets, 2001. To appear in Advances in Petri Nets. http://citeseer.ist.psu.edu/bruni01two.html More
@article{ bruni01two,
author = "Roberto Bruni and Vladimiro Sassone",
title = "Two Algebraic Process Semantics for Contextual Nets",
journal = "Lecture Notes in Computer Science",
volume = "2128",
pages = "427+",
year = "2001",
url = "citeseer.ist.psu.edu/bruni01two.html" }
Citations (may not include all citations):299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992
125 Event structures (context) - Winskel - 1986
91 Rewriting logic as a semantic framework for concurrency: A p.. - Meseguer - 1996
65 Institut fur Instrumentelle Mathematik (context) - Petri, Automaten et al. - 1962
59 The non-sequential behaviour of Petri nets (context) - Goltz, Reisig - 1983
55 Sequential and concurrent behaviour in Petri net theory (context) - Best, Devillers - 1987
49 The tile model - Gadducci, Montanari - 2000
47 Petri nets are monoids (context) - Meseguer, Montanari - 1990
41 Axiomatizing the algebra of net computations and processes (context) - Degano, Meseguer et al. - 1996
34 An algebraic semantics for structured transition systems and.. (context) - Corradini, Montanari - 1992
32 Axiomatizing net computations and processes (context) - Degano, Meseguer et al. - 1989
29 Tile Logic for Synchronized Rewriting of Concurrent Systems - Bruni - 1999
27 Configuration structures - van Glabbeek, Plotkin - 1995
25 EACTS Monographs on Theoretical Computer Science (context) - Reisig, An - 1985
24 An axiomatization of the algebra of Petri net concatenable p.. - Sassone - 1996
24 Coloured Petri nets extended with place capacities - Christensen, Hansen - 1993
22 Contextual occurrence nets and concurrent constraint program.. (context) - Montanari, Rossi - 1994
16 Contextual nets - Montanari, Rossi - 1995
16 Modelling Systems with Shared Resources via Petri Nets (context) - Ristori - 1994
16 Axioms for contextual net processes - Gadducci, Montanari - 1998
15 An axiomatization of the category of Petri net computations - Sassone - 1998
15 Uniform approach to Petri nets - Ehrig, Padberg - 1997
14 Functorial semantics for Petri nets under the individual tok.. - Bruni, Meseguer et al. - 1999
14 Petri nets are monoids: A new algebraic foundation for net t.. (context) - Meseguer, Montanari - 1988
14 Partial order semantics and read arcs - Vogler - 1997
13 Modelling concurrent computations: From contextual Petri net.. (context) - Baldan - 2000
12 An event structure semantics for P/T contextual nets: Asymme.. - Baldan, Corradini et al. - 1998
11 Efficiency of asynchronous systems and read arcs in Petri ne.. (context) - Vogler - 1997
10 Non sequential semantics for contextual P/T nets - Busi, Pinna - 1996
10 A comparison of Petri net semantics under the collective tok.. - Bruni, Meseguer et al.
8 Semantics of inhibitor nets (context) - Janicki, Koutny - 1995
7 Rewriting logic as a unifying framework for Petri nets (context) - Meseguer, Olveczky et al.
7 Algebraic models for contextual nets - Bruni, Sassone - 2000
5 Petri nets with inhibitor and read arcs: Semantics (context) - Busi - 1998
3 Process semantics of Petri nets over partial algebra - Desel, Juhas et al. - 2000
1 transition Petri nets (context) - Meseguer, Montanari et al. - 1997
Documents on the same site (http://www.di.unipi.it/~bruni/publications/ListOfAbstracts.html): More
A 2-category View for Double Categories with Shared Structure - Bruni, Meseguer, Montanari (1999) (Correct)
Zero-Safe Nets: Comparing the Collective and Individual.. - Bruni, Montanari (Correct)
Normal Forms for Partitions and Relations - Bruni, Gadducci, Montanari (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC