Roberto Bruni, Ugo Montanari  Home/Search
Context Related
| di.unipi.it/~bruni/publi...uapnzs.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: When employing Petri nets to model distributed systems, one must be aware that the basic activities of each component can vary in duration and can involve smaller internal activities, i.e., that transitions are conceptually refined into transactions. We present an approach to the modeling of transactions based on zero-safe nets. They extend ordinary pt nets with a simple mechanism for transition synchronization. We show that the net theory developed under the two most diffused semantic... (Update)
Similar documents based on text: More All
0.5: Zero-Safe Nets: Composing Nets via Transition Synchronization - Bruni, Montanari (1999) (Correct)
0.4: Zero-Safe Nets: Modeling Transactions via Transition.. - Bruni, Montanari (2000) (Correct)
0.3: Extending the Zero-Safe approach to Coloured.. - Bruni, Melgratti.. (Correct)
BibTeX entry: (Update)
R. Bruni and U. Montanari. Transactions and zero-safe nets. In H. Ehrig, G. Juhas, J. Padberg, and G. Rozenberg, editors, Advances in Petri Nets: Unifying Petri Nets, volume 2128 of 25 2001. http://citeseer.ist.psu.edu/bruni01transactions.html More
@article{ bruni01transactions,
author = "Roberto Bruni and Ugo Montanari",
title = "Transactions and Zero-Safe Nets",
journal = "Lecture Notes in Computer Science",
volume = "2128",
pages = "380++",
year = "2001",
url = "citeseer.ist.psu.edu/bruni01transactions.html" }
Citations (may not include all citations):236 Categories for the Working Mathematician (context) - MacLane - 1971
125 Event structures (context) - Winskel - 1987
69 The Box calculus: A new causal algebra with multi-label comm.. (context) - Best, Devillers et al. - 1992
59 The non-sequential behaviour of Petri nets (context) - Goltz, Reisig - 1983
57 Petri net models for algebraic theories of concurrency (context) - van Glabbeek, Vaandrager - 1987
55 Sequential and concurrent behaviour in Petri net theory (context) - Best, Devillers - 1987
47 Petri nets are monoids (context) - Meseguer, Montanari - 1990
45 Abstract Petri nets: Uniform approach and rule-based renemen.. (context) - Padberg - 1996
44 event structures and domains (context) - Nielsen, Plotkin et al. - 1981
41 Axiomatizing the algebra of net computations and processes (context) - Degano, Meseguer et al. - 1996
38 Event structure semantics of CCS and related languages (context) - Winskel - 1982
37 A distributed operational semantics for CCS based on conditi.. (context) - Degano, De Nicola et al. - 1988
34 A categorical linear framework for Petri nets (context) - Brown, Gurr - 1990
32 A survey of behaviour and equivalence preserving renements o.. (context) - Brauer, Gold et al. - 1991
31 Zero-safe nets: Comparing the collective and individual toke.. - Bruni, Montanari - 2000
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
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