V. Sassone  Home/Search
Context Related
| informatics.sussex.ac.uk...siSurvey.pdf 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: informatics.sussex.ac.uk/users... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we first survey a line of research --- detailed in [58, 24, 59, 86, 87, 16] --- aimed at recasting Petri net processes in the light of ideas from process algebras and categorical algebra. In particular, we shall focus on Petri net concatenable processes [24, 86], on strongly concatenable processes [87, 16], and on their representation in terms of symmetric monoidal categories (Update)
Cited by: More
High-Level Petri Nets as - Type Theories In (Correct)
High-Level Petri Nets as Type Theories in the Join Calculus - Buscemi, Sassone (2001) (Correct)
Similar documents (at the sentence level):
12.8%: The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
6.4%: Representation Theorems for Petri Nets - Meseguer, Montanari, Sassone (Correct)
Active bibliography (related documents): More All
0.7: Pre-Nets, Read Arcs and Unfolding: A Functorial Presentation - Baldan, Bruni, Montanari (2002) (Correct)
0.7: An Axiomatization of the Category of Petri Net Computations - Sassone (1997) (Correct)
0.7: Functorial Models for Petri Nets - Bruni, Meseguer, Montanari, al. (2001) (Correct)
Similar documents based on text: More All
0.1: Order Stars and Stiff Integrators - Hairer, Wanner (1999) (Correct)
0.0: Association for Computational Linguistics - Class-Based Probability Estimation (2003) (Correct)
0.0: Experimental Nonmechanical Image Rotation to 20 Angles Using .. - Yong-Seok Lm Eung (Correct)
Related documents from co-citation: More All
2: Kommunikation mit Automaten (context) - Petri - 1962
2: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
2: Mobile Petri Nets - Asperti, Busi - 1996
BibTeX entry: (Update)
V. Sassone (2000), On the Algebraic Structure of Petri Nets, Bulletin of EATCS 72, 133-148. http://citeseer.ist.psu.edu/article/sassone00algebraic.html More
@article{ sassone00algebraic,
author = "V. Sassone",
title = "On the Algebraic Structure of Petri Nets",
journal = "Bulletin of the European Association for Theoretical Computer Science",
volume = "72",
pages = "133--",
year = "2000",
url = "citeseer.ist.psu.edu/article/sassone00algebraic.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985 ACM DBLP
1933 Communication and Concurrency (context) - Milner - 1989 ACM
299 Algebraic Theory of Processes (context) - Hennessy - 1988 ACM
236 Categories for the Working Mathematician (context) - MacLane - 1971
216 Coloured Petri Nets -- Basic Concepts (context) - Jensen - 1992
216 Coloured Petri Nets -- Basic Concepts (context) - Jensen - 1994
216 Coloured Petri Nets -- Basic Concepts (context) - Jensen - 1997
178 Communicating and Mobile Systems: the #-Calculus (context) - Milner - 1999
85 Trace theory (context) - Mazurkiewicz - 1987 ACM DBLP
85 Kommunikation mit Automaten (context) - Petri - 1962
71 Modelling Concurrency with Partial Orders - Pratt - 1986
70 Branching Processes of Petri Nets (context) - Engelfriet - 1991 ACM DBLP
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
41 Axiomatizing the Algebra of Net Computations and Processes (context) - Degano, Meseguer et al. - 1996 DBLP
39 Retracing Some Paths (context) - Abramsky - 1996
39 Closed Categories (context) - Eilenberg, Kelly - 1966
38 Traced Monoidal Categories (context) - Joyal, Street et al. - 1996
38 From Petri Nets to Linear Logic through Categories: A Survey (context) - Mart, Meseguer - 1991
37 A Distributed Operational Semantics for CCS based on Conditi.. (context) - Degano, De Nicola et al. - 1988 ACM DBLP
35 Petri Nets and Step Transition Systems - Mukund - 1992 DBLP
31 Cambridge Tracts in Theoretical Computer Science (context) - Olderog, Terms - 1991
31 Zero-Safe Nets: Comparing the Collective and Individual Toke.. - Bruni, Montanari - 2000 DBLP
29 Recursion from Cyclic Sharing: Traced Monoidal Categories - Hasegawa - 1997
26 Completeness Results for Linear Logic on Petri Nets - Engberg, Winskel - 1993 ACM DBLP
24 Coloured Petri Nets extended with Place Capacities - Christensen, Hansen - 1993
24 Monadic Computation and Iterative Algebraic Theories (context) - Elgot - 1975
23 A Linear Specification Language for Petri Nets (context) - Brown, Gurr et al. - 1991
20 Representation Theorems for Petri Nets - Meseguer, Montanari et al. - 1997 ACM DBLP
19 Non-Sequential Processes (context) - Petri - 1977 ACM DBLP
19 Proofs as Computations (context) - Asperti, Ferrari et al. - 1990
19 Petri Net Models for Algebraic Theories of Concurrency (context) - van Glabbeek, Vaandrager - 1987 ACM DBLP
18 Iteration Theories: the Equational Logic of Iterative Proces.. (context) - Bloom, Esik - 1991
17 On MacLane's Conditions for Coherence of Natural Associativi.. (context) - Kelly - 1964
16 Contextual Nets - Montanari, Rossi - 1995
16 Axioms for contextual net processes - Gadducci, Montanari - 1998 ACM DBLP
15 A Uniform Approach to Petri Nets - Ehrig, Padberg - 1997 ACM DBLP
14 Functorial Semantics for Petri Nets under the Individual Tok.. - Bruni, Meseguer et al. - 1999 DBLP
13 Modelling Concurrent Computations: From Contextual Petri Net.. (context) - Baldan - 2000
13 Natural Associativity and Commutativity (context) - MacLane - 1963
12 Petri Nets in Performance Analysis: An introduction (context) - Marsan, Bobbio et al. - 1998 DBLP
12 Concepts of Net Theory (context) - Petri - 1973 DBLP
12 The Petri Box Calculus: a New Causal Algebra with Multilabel.. (context) - Best, Devillers et al. - 1992
12 Universal Algebra in S-Monoidal Categories (context) - Pfender - 1974
11 Petri Nets (context) - Nielsen, Plotkin et al. - 1981
11 Characterizing Behavioural Congruences for Petri Nets - Nielsen, Priese et al. - 1995 ACM DBLP
11 A Trace Semantics for Petri Nets (context) - Hoogers, Kleijn et al. - 1992 ACM DBLP
11 PlaceTransition Petri Net (context) - Reisig, Petri et al. - 1998
10 The Basic Algebraic Structures in Categories of Derivations (context) - Benson - 1975 DBLP
9 Local Event Structures and Petri Nets (context) - Hoogers, Kleijn et al. - 1993 ACM DBLP
9 Scone: A Simple Calculus of Nets (context) - Gorrieri, Montanari - 1990 DBLP
8 Semantics of Inhibitor Nets (context) - Janicki, Koutny - 1995
8 Functorial Models for Petri nets - Bruni, Meseguer et al. - 2000 ACM DBLP
6 Process versus Unfolding Semantics for Place/Transition Petr.. - Meseguer, Montanari et al. - 1996 ACM DBLP
6 The Book of Traces (context) - Diekert, Rozenberg - 1995
6 An Introduction to the Practical Uses of Coloured Petri Nets - Jensen - 1998
6 Eine Algebraisierung des Syntheseproblemen von Schaltkreisen (context) - Hotz - 1965
6 Abstract Petri nets as a Uniform Approach to High-Level Petr.. - Padberg - 1999
6 Review of the Elements of 2-Categories (context) - Kelly, Street - 1974
6 Bicategories of Processes - Katis, Sabadini et al. - 1997
6 The State of PEP - Grahlmann - 1998 ACM DBLP
5 Action Calculi or Syntactic Action Structures (context) - Milner - 1993
5 Non Sequential Semantics for Contextual P/T Nets (context) - Busi, Pinna - 1996 ACM DBLP
5 Feedback and Generalized Logic (context) - Bainbridge - 1976 DBLP
5 the Semantics of Place/Transition Petri Nets - Meseguer, Montanari et al. - 1997
5 Relational Semantics of Non-Deterministic Dataflow - Hildebrandt, Panangaden et al. - 1998
5 An event structure semantics for P/T contextual nets: Asymme.. - Baldan, Corradini et al. - 1998 DBLP
4 A Petri Net Semantics for the Pi-Calculus - Busi, Gorrieri - 1995
3 A Petri Net Semantics for CCSP (context) - Olderog - 1987
3 in Petri Nets (context) - Best, Devillers et al. - 1998
3 Categories with Multiplication (context) - enabou - 1963
2 Petri Nets and Other Models of Concurrency (context) - Nielsen, Sassone - 1998
2 Transition Systems (context) - Nielsen, Rozenberg et al. - 1995
2 Temporal Logic and Categories of Petri Nets (context) - Brown, Gurr - 1992
2 Juh as (context) - Desel
Documents on the same site (http://www.informatics.sussex.ac.uk/users/vs/research/): More
A Calculus for Trust Management - Carbone, Nielsen, Sassone (Correct)
Jeeg: A Programming Language for Concurrent Objects.. - Milicia, Sassone (2002) (Correct)
Algebraic Theories for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2001) (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