Roberto Bruni, Ugo Montanari  Home/Search
Context
Related
| di.unipi.it/~ugo/express97.ps 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/~ugo/ABSTRACT (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In addition to ordinary places, called stable, zero-safe nets are equipped with zero places, which in a stable marking cannot contain any token. An evolution between two stable markings, instead, can be a complex computation called stable transaction, which may use zero places, but which is atomic when seen from stable places: no stable token generated in a transaction can be reused in the same transaction. Every zero-safe net has an ordinary Place-Transition net as its abstract counterpart,... (Update)
Similar documents (at the sentence level): More
62.1%: Zero-Safe Nets, or Transition Synchronization Made Simple - Bruni, Montanari (1997) (Correct)
23.6%: Zero-Safe Nets: Comparing the Collective and Individual.. - Bruni, Montanari (Correct)
17.0%: Zero-Safe Nets: Comparing the - Collective And Individual (Correct)
Active bibliography (related documents): More All
0.4: Zero-Safe Nets: The Individual Token Approach - Bruni, Montanari (1998) (Correct)
0.2: Parallel High-Level Replacement Systems - Taentzer (1994) (Correct)
0.2: Transactions and Zero-Safe Nets - Bruni, Montanari (2001) (Correct)
Similar documents based on text: More All
0.4: 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: Process and Term Tile Logic - Bruni, Meseguer, Monzanari (1998) (Correct)
BibTeX entry: (Update)
@inproceedings{ bruni97zerosafe,
author = "Roberto Bruni and Ugo Montanari",
title = "Zero-safe nets: The individual token approach",
booktitle = "Workshop on Algebraic Development Techniques",
pages = "122-140",
year = "1997",
url = "citeseer.ist.psu.edu/bruni97zerosafe.html" }
Citations (may not include all citations):103 Springer-Verlag (context) - Reisig - 1985
97 Information and Computation (context) - Meseguer, Montanari et al. - 1990
85 Kommunikation mit Automaten (context) - Petri - 1962
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
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
27 the Algebraic Approach to Concurrent Term Rewriting - Gadducci - 1996
20 Representation Theorems for Petri Nets - Meseguer, Montanari et al.
20 Process versus Unfolding Semantics for Place/Transition Petr.. - Meseguer, Montanari et al. - 1996
10 Department of Computer Science (context) - Gadducci, Montanari et al. - 1996
4 Montanari Petri Nets are Monoids: A New Algebraic Foundation.. (context) - Meseguer - 1988
Documents on the same site (http://www.di.unipi.it/~ugo/ABSTRACT.html): More
Graph Rewriting, Constraint Solving and Tiles for.. - Montanari, Rossi (Correct)
Internal Strategies in a Rewriting Implementation of Tile.. - Bruni, Meseguer, Montanari (1998) (Correct)
Mapping Tile Logic into Rewriting Logic - Meseguer, al. (1998) (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