Paolo Baldan, Roberto Bruni, Ugo Montanari  Home/Search
Context
Related
| di.unipi.it/~bruni/pub...wadt2002.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/~bruni...ListOfPapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Pre-nets have been recently proposed as a means of providing a functorial algebraic semantics to Petri nets (possibly with read arcs), overcoming some previously unsolved subtleties of the classical model. Here we develop a functorial semantics for pre-nets following a sibling classical approach based on an unfolding construction. Any pre-net is mapped to an acyclic branching net, representing its behaviour, then to a prime event structure and finally to a finitary prime algebraic domain. ... (Update)
Active bibliography (related documents): More All
1.1: Algebraic Theories for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2001) (Correct)
0.8: The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
0.6: A Comparison of Petri Net Semantics under the.. - Bruni, Meseguer.. (1998) (Correct)
Similar documents based on text: More All
0.4: Bisimulation by Unification - Baldan, Bracciali, Bruni (2002) (Correct)
0.4: Unfolding and Event Structure Semantics for Graph Grammars - Baldan, Corradini, Montanari (1999) (Correct)
0.3: Functorial Models for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2002) (Correct)
BibTeX entry: (Update)
@misc{ baldan-prenets,
author = "Paolo Baldan and Roberto Bruni and Ugo Montanari",
title = "Pre-Nets, Read Arcs and Unfolding: A Functorial Presentation",
url = "citeseer.ist.psu.edu/baldan02prenets.html" }
Citations (may not include all citations):236 Categories for the Working Mathematician (context) - MacLane - 1971
146 EATCS Monographs on Theoretical Computer Science (context) - Reisig, An - 1985
125 Event Structures (context) - Winskel - 1987
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
47 Petri nets are monoids (context) - Meseguer, Montanari - 1990
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
36 Stable models of typed lambda-calculi (context) - Berry - 1978
27 Events in security protocols - Crazzolara, Winskel - 2001
22 Contextual occurrence nets and concurrent constraint program.. (context) - Montanari, Rossi - 1994
20 Representation theorems for Petri nets - Meseguer, Montanari et al. - 1997
19 the semantics of Petri nets - Meseguer, Montanari et al. - 1992
16 Contextual nets - Montanari, Rossi - 1995
15 An axiomatization of the category of Petri net computations - Sassone - 1998
15 Schriften des Institutes fur Instrumentelle Matematik (context) - Petri, Automaten - 1962
14 Functorial semantics for Petri nets under the individual tok.. - Bruni, Meseguer et al. - 1999
11 Efficiency of asynchronous systems and read arcs in Petri ne.. (context) - Vogler - 1997
10 Configuration structures - van Glabbeek, Plotkin - 1995
8 Functorial models for Petri nets - Bruni, Meseguer et al. - 2001
6 Proces versu unfolding semantic PlaceTransition Petri net - Montanari, versus et al. - 1996
5 semantic PlaceTransition Petri net - Montanari, the et al. - 1997
3 Functorial models for contextual pre-nets - Bruni, Meseguer et al. - 2002
3 Modeling concurrent accesses to shared data via Petri nets (context) - De Francesco, Montanari et al. - 1994
1 asymmetric event structures and processes (context) - Baldan, Corradini et al. - 2001
Documents on the same site (http://www.di.unipi.it/~bruni/publications/ListOfPapers.html): More
Executable Tile Specifications for Process Calculi - Bruni, Meseguer, Montanari (1999) (Correct)
Tile Logic for Synchronized Rewriting of Concurrent Systems - Bruni (1999) (Correct)
Process and Term Tile Logic - Bruni, Meseguer, Monzanari (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