Nadia Busi, G. Michele Pinna  Home/Search
Context Related
| cs.unibo.it/~busi/w...nonseqpetri.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: cs.unibo.it/~busi/www/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The problem of finding a true concurrent semantics for contextual P/T nets has not been deeply studied yet. The interest for such a semantics has been renewed by some recent proposals to equip mobile process algebras with a net semantics based on this model. In [3] we proposed a causal semantics for such nets, in this paper we study the non sequential semantics of contextual P/T nets. The semantics is based on a suitable notion of occurrence net and, equipped with a notion of history... (Update)
Context of citations to this paper: More
.... present paper we extend the definitions and results of [DMM 89] and [Wnk 97] to contextual nets similar to those in [MR 95] cf. also [BP 96] and [Ris 94] Contextual nets are models of concurrent systems with context dependent actions. A contextual net is shown in figure 1....
...between concurrency, causality and nondeterminism. For contextual nets both the process and the unfolding approaches have been studied [27,8,9,2,1], giving a satisfactory understanding of the computational model via the introduction of asymmetric event structures. The algebraic...
Cited by: More
A Unified Approach to the Study of Asynchronous Communication.. - Clark (2000) (Correct)
Axioms for Contextual Net Processes - Gadducci, Montanari (1998) (Correct)
Contextual Petri Nets, Asymmetric Event Structures, and.. - Baldan, Corradini.. (1999) (Correct)
Similar documents (at the sentence level):
19.5%: A Causal Semantics for Contextual P/T Nets - Busi, Pinna (1995) (Correct)
Active bibliography (related documents): More All
0.4: An Event Structure Semantics for P/T Contextual Nets.. - Baldan, Corradini.. (1998) (Correct)
0.2: History Preserving Bisimulation for Contextual Nets - Baldan, Corradini, Montanari (2000) (Correct)
0.2: On the Expressiveness of Linda Coordination Primitives - Busi, Gorrieri, Zavattaro (Correct)
Similar documents based on text: More All
0.4: Process Semantics of General Inhibitor Nets - Kleijn, Koutny (Correct)
0.3: Synthesis of Nets With Inhibitor Arcs - Busi, Pinna (Correct)
0.2: Distributed Conflicts in Communicating Systems - Busi, Gorrieri (1994) (Correct)
Related documents from co-citation: More All
8: Acta Informatica (context) - Montanari, Rossi - 1995
6: Coloured Petri Nets Extended with Place Capacities - Christensen, Hansen - 1992
5: Information and Computation (context) - Janicki, Koutny et al. - 1995
BibTeX entry: (Update)
N. Busi and G. M. Pinna. Non Sequential Semantics for Contextual P/T Nets. In Application and Theory of Petri Nets, volume 1091 of LNCS, pages 113--132. Springer Verlag, 1996. http://citeseer.ist.psu.edu/pinna96non.html More
@inproceedings{ busi96non,
author = "Nadia Busi and G. Michele Pinna",
title = "Non Sequential Semantics for Contextual P/T Nets",
booktitle = "Application and Theory of Petri Nets",
pages = "113-132",
year = "1996",
url = "citeseer.ist.psu.edu/pinna96non.html" }
Citations (may not include all citations):297 A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1992
168 Petri Nets: An Introduction (context) - Reisig - 1985
125 Event Structures (context) - Winskel - 1986
69 Causal Trees (context) - Darondeau, Degano - 1989
59 The Nonsequential Behaviour of Petri Nets (context) - Goltz, Reisig - 1983
49 Modular Construction and Partial Order Semantics of Petri Ne.. (context) - Vogler - 1992
19 Non-Sequential Processes (context) - Petri - 1977
17 Concurrent bisimulations in Petri nets (context) - Best, Devillers et al. - 1991
16 the Nature of Events: another Perspective in Concurrency (context) - Pinna, Poign'e - 1995
16 Modelling Systems with Shared Resources via Petri Nets (context) - Ristori - 1994
16 Contextual Nets - Montanari, Rossi - 1995
12 A Petri Net Semantics for ß- calculus (context) - Busi, Gorrieri - 1995
10 the Nature of Events (context) - Pinna, Poign'e - 1992
9 Invariant Semantics of Nets with Inhibitor Arcs (context) - Janicki, Koutny - 1991
7 A Causal Semantics for Contextual P/T Nets - Busi, Pinna - 1995
1 Modelling Concurrent Access to Shared Data via Petri Nets (context) - De Francesco, Montanari et al. - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.unibo.it/~busi/www/papers.html): More
A Truly Concurrent View of Linda Interprocess Communication - Busi, Gorrieri, Zavattaro (1997) (Correct)
A Process Algebraic View of Linda Coordination Primitives - Busi (1998) (Correct)
Mobile Petri Nets - Asperti, Busi (1996) (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