Ugo Montanari, Francesca Rossi  Home/Search
Context Related
Links: DBLP | di.unipi.it/pub/Papers/ross...acta.ps.Z 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/~rossi/papers1 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a new kind of nets, called contextual nets, where events may have both preconditions and postconditions, as in the classical case, and also positive or negative context conditions. Positive context conditions are to be interpreted as elements which are needed for the event to occur, but which are not affected by the occurring of the event. Instead, negative context conditions are elements which must not be present for the event to take place. The importance of an explicit... (Update)
Cited by: More
The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
Algebraic Theories for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2001) (Correct)
Pre-Nets, Read Arcs and Unfolding: A Functorial Presentation - Baldan, Bruni, Montanari (2002) (Correct)
Active bibliography (related documents): More All
0.5: A Unified Approach to the Study of Asynchronous Communication.. - Clark (2000) (Correct)
0.3: Synchronized Composition of Graph Grammar Productions - Corradini, Rossi (1995) (Correct)
0.2: Technical Annex for the ACCLAIM Project (PE7195) - Haridi (1992) (Correct)
Similar documents based on text: More All
0.4: Foundations of Constraint Programming Approaches: Concurrent .. - Rossi, Montanari (Correct)
0.3: Constraint Solving and Programming: What Next? - Montanari, Rossi (1991) (Correct)
0.3: Semiring-Based Constraint Satisfaction and - Optimization Stefano Bistarelli (Correct)
Related documents from co-citation: More All
11: The non-sequential behaviour of Petri nets (context) - Goltz, Reisig - 1983
9: Axiomatizing the algebra of net computations and processes (context) - Degano, Meseguer et al. - 1990
9: Petri nets are monoids (context) - Meseguer, Montanari - 1990
BibTeX entry: (Update)
U. Montanari, F. Rossi "Contextual Nets", Acta Informatica, to appear. http://citeseer.ist.psu.edu/26238.html More
@article{ montanari95contextual,
author = "Ugo Montanari and Francesca Rossi",
title = "Contextual Nets",
journal = "Acta Informatica",
volume = "32",
number = "6",
month = "????",
pages = "545--596",
year = "1995",
url = "citeseer.ist.psu.edu/26238.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
344 Concurrent Constraint Programming (context) - Saraswat - 1993 ACM DBLP
146 EATCS Monographs on Theoretical Computer Science (context) - Reisig, An - 1985
125 Event structures (context) - Winskel - 1986 ACM DBLP
22 Contextual occurrence nets and concurrent constraint program.. (context) - Montanari, Rossi - 1993
17 Theoretical Computer Science (context) - Janicki, Koutny et al. - 1993 ACM
16 True concurrency in concurrent constraint programming (context) - Montanari, Rossi - 1991 DBLP
16 Modelling Systems with Shared Resources via Petri Nets (context) - Ristori - 1994
9 Invariant semantics of nets with inhibitor arcs (context) - Janicki, Koutny - 1991 ACM DBLP
9 Graph rewriting for a partial ordering semantics of concurre.. (context) - Montanari, Rossi - 1992 ACM DBLP
7 Petri Nets and the Modelling of Systems (context) - Peterson - 1981
5 Graph grammars as context-dependent rewriting systems (context) - Montanari, Rossi - 1992 ACM
5 Tutorial introduction to the algebraic theory of graph gramm.. (context) - Ehrig - 1987
2 correctness (context) - Agerwala, Flynn et al. - 1973
1 Modelling concurrent accesses to shared data via petri nets (context) - De Francesco, Montanari et al. - 1994 ACM DBLP
1 Modelling serializability via process equivalence in Petri n.. (context) - De Francesco, Montanari et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.di.unipi.it/~rossi/papers1.html): More
Towards a Concurrent Semantics based Analysis of CC and .. - Montanari, Rossi.. (1994) (Correct)
Partial Order and Contextual Net Semantics for.. - Bueno.. (1996) (Correct)
NMCC Programming: Constraint Enforcement and Retraction in CC .. - Codognet, Rossi (1995) (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