José Meseguer, Ugo Montanari, Vladimiro Sassone  Home/Search
Context Related
Links: DBLP | dcs.qmw.ac.uk/~vs/...ngfullmscs.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: dcs.qmw.ac.uk/~vs/cv/publ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we extend Winskel's result to PT nets. We start with a rather general category PTNets (Update)
Context of citations to this paper: More
.... domain (or, equivalently, a prime event structure) models the computations of a safe net [9] The research detailed in [6, 3, 4, 14, 7, 8, 16] identifies such structures as symmetric monoidal categories where objects are states, i.e. multisets of tokens, arrows are...
Cited by: More
The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
Pre-Nets, Read Arcs and Unfolding: A Functorial Presentation - Baldan, Bruni, Montanari (2002) (Correct)
A Comparison of Petri Net Semantics under the.. - Bruni, Meseguer.. (1998) (Correct)
Similar documents (at the sentence level):
13.0%: On the Semantics of Petri Nets - Meseguer, Montanari, Sassone (1992) (Correct)
Active bibliography (related documents): More All
0.9: Process versus Unfolding Semantics for Place/Transition.. - Meseguer, Montanari.. (1996) (Correct)
0.7: On the Model of Computation of Place/Transition Petri Nets - Meseguer, Montanari, Sassone (1994) (Correct)
0.7: An Axiomatization of the Category of Petri Net Computations - Sassone (1997) (Correct)
Similar documents based on text: More All
0.5: Algebraic Theories for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (Correct)
0.5: Functorial Models for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2002) (Correct)
0.4: Rewriting Logic as a Unifying Framework for Petri Nets - Stehr, Meseguer, Csaba (2001) (Correct)
Related documents from co-citation: More All
6: Coloured Petri Nets -- Basic Concepts (context) - Jensen - 1992
5: The non-sequential behaviour of Petri nets (context) - Goltz, Reisig - 1983
5: Sequential and concurrent behaviour in Petri net theory (context) - Best, Devillers - 1987
BibTeX entry: (Update)
J. MESEGUER, U. MONTANARI, AND V. SASSONE (1997), On the Semantics of PlaceTransition Petri Nets, Mathematical Structures in Computer Science, to appear. Avalaible by anonymous ftp at http://www.di.unipi.it/ vs. http://citeseer.ist.psu.edu/66377.html More
@article{ meseguer97semantics,
author = "Jose Meseguer and Ugo Montanari and Vladimiro Sassone",
title = "On the Semantics of Place/Transition Petri Nets",
journal = "Mathematical Structures in Computer Science",
volume = "7",
number = "4",
pages = "359-397",
year = "1997",
url = "citeseer.ist.psu.edu/66377.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989 ACM
236 Categories for the Working Mathematician (context) - MacLane - 1971
139 An Introduction to Event Structures (context) - Winskel - 1988 ACM DBLP
125 Outline of a Mathematical Theory of Computation (context) - Scott - 1970
125 Event Structures (context) - Winskel - 1986 ACM DBLP
85 Kommunikation mit Automaten (context) - Petri - 1962
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 ACM DBLP
54 Modeling Concurrency with Geometry - Pratt - 1991 ACM DBLP
49 Petri Nets (context) - Reisig - 1985 ACM DBLP
47 Petri Nets are Monoids (context) - Meseguer, Montanari - 1990 DBLP
42 Homology of Higher Dimensional Automata - Goubault, Jensen - 1992 ACM DBLP
38 From Petri Nets to Linear Logic through categories: A survey (context) - Mart-Oliet, Meseguer - 1991 DBLP
38 Event Structure Semantics for CCS and related languages (context) - Winskel - 1982 ACM DBLP
37 A Distributed Operational Semantics for CCS based on Conditi.. (context) - Degano, De Nicola et al. - 1988 ACM DBLP
34 A Categorical Linear Framework for Petri Nets (context) - Brown, Gurr - 1990 ACM DBLP
32 Axiomatizing Net Computations and Processes (context) - Degano, Meseguer et al. - 1989 ACM DBLP
27 Higher Dimensional Transition Systems - Cattani - 1996 ACM DBLP
26 Completeness Results for Linear Logic on Petri Nets - Engberg, Winskel - 1993 ACM DBLP
24 An Axiomatization of the Algebra of Petri Net Concatenable P.. - Sassone - 1996 ACM DBLP
23 A Linear Specification Language for Petri Nets (context) - Brown, Gurr et al. - 1991
20 Process versus Unfolding Semantics for Place/Transition Petr.. - Meseguer, Montanari et al. - 1996 ACM DBLP
19 the Semantics of Petri Nets - Meseguer, Montanari et al. - 1992
19 Non-Sequential Processes (context) - Petri - 1977 ACM DBLP
12 Concepts of Net Theory (context) - Petri - 1973 DBLP
11 Petri Nets (context) - Nielsen, Plotkin et al. - 1981 ACM DBLP
11 A Trace Semantics for Petri Nets (context) - Hoogers, Kleijn et al. - 1992 ACM DBLP
10 Deterministic Behavioural Models for Concurrency - Sassone, Nielsen et al. ACM DBLP
10 Behavioural Notions for Elementary Net Systems (context) - Nielsen, Rozenberg et al. - 1990 DBLP
9 Petri Nets (context) - Winskel - 1987 ACM DBLP
9 Local Event Structures and Petri Nets (context) - Hoogers, Kleijn et al. - 1993 ACM DBLP
8 A New Definition of Morphism on Petri Nets (context) - Winskel - 1984 ACM DBLP
6 the Semantics of Petri Nets: Processes (context) - Sassone - 1994
6 the Model of Computation of Place/Transition Petri Nets - Meseguer, Montanari et al. - 1994
5 the Category of Petri Net Computations - Sassone - 1995
2 A Generalized Event Structure for the Muller Unfolding of a .. - Gunawardena - 1993 ACM DBLP
1 Domains of Higher Dimensional Automata (context) - PARLE, in et al. - 1993
1 Basic Notions of Trace Theory (context) - of, Computer et al. - 1988 ACM DBLP
1 Ind Completion of Monoidal Categories and Infinite Petri Net.. (context) - Sassone, Meseguer et al.
1 A Petri Net Semantics for CCSP (context) - Computing, Olderog - 1987
1 Petri Nets and Step Transition Systems (context) - Meseguer, Montanari et al. - 1992 DBLP
Documents on the same site (http://www.dcs.qmw.ac.uk/~vs/cv/publ.html): More
CCS Dynamic Bisimulation is Progressing - Montanari, Sassone (1991) (Correct)
Transition Systems with Independence and Multi-Arcs - Hildebrandt, Sassone (1997) (Correct)
Models for Concurrency: Towards a Classification - Sassone, Nielsen, Winskel (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