José Meseguer, Ugo Montanari, Vladimiro Sassone  Home/Search
Context Related
| dcs.qmw.ac.uk/~vs/...ingconcur92.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: Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "token game" is too intensional, even in its more abstract interpretations in term of nonsequential processes and monoidal categories; on the other hand, Winskel's basic unfolding construction, which provides a coreflection between nets and finitary prime algebraic domains, works only for safe nets. In this paper we extend... (Update)
Context of citations to this paper: More
...in Proceedings CONCUR 99. This work was supported by ONR under grant number N00014 92 J 1974. In Meseguer, Montanari Sassone [15], the unfolding from [17] translating safe nets into the subclass of occurrence nets, is extended to arbitrary nets, while preserving the...
...have a nice algebraic structure [W2, MM] They are also a very simple kind of multiset rewrite systems. Some previous work in this area [E, MMS] has essentially proposed prime event structures as possible candidates for representing the behaviour of Petri nets. However, this...
Cited by: More
Pre-Nets, Read Arcs and Unfolding: A Functorial Presentation - Baldan, Bruni, Montanari (2002) (Correct)
On Occurrence Net Semantics of Petri Nets - Haar (1999) (Correct)
Rewriting Logic as a Unifying Framework for Petri Nets - Stehr, Meseguer, Csaba (2001) (Correct)
Similar documents (at the sentence level):
28.0%: On the Semantics of Place/Transition Petri Nets - Meseguer, Montanari, Sassone (1996) (Correct)
Active bibliography (related documents): More All
0.7: The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
0.4: Process versus Unfolding Semantics for Place/Transition.. - Meseguer, Montanari.. (1996) (Correct)
0.4: On the Model of Computation of Place/Transition Petri Nets - Meseguer, Montanari, Sassone (1994) (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: Process Semantics of General Inhibitor Nets - Kleijn, Koutny (Correct)
Related documents from co-citation: More All
12: Event structures (context) - Winskel - 1986
7: Branching processes of Petri nets (context) - Engelfriet - 1991
7: Sequential and concurrent behaviour in Petri net theory (context) - Best, Devillers - 1987
BibTeX entry: (Update)
J. Meseguer, U. Montanari & V. Sassone (1992): On the semantics of Petri nets. In W.R. Cleaveland, editor: Proceedings CONCUR 92, Stony Brook, NY, USA, LNCS 630, Springer-Verlag, pp. 286--301. http://citeseer.ist.psu.edu/150859.html More
@inproceedings{ meseguer92semantics,
author = "Jose Meseguer and Ugo Montanari and Vladimiro Sassone",
title = "On the Semantics of Petri Nets",
booktitle = "International Conference on Concurrency Theory",
pages = "286-301",
year = "1992",
url = "citeseer.ist.psu.edu/150859.html" }
Citations (may not include all citations):236 Categories for the Working Mathematician (context) - MacLane - 1971
168 Theoretical Computer Science (context) - Nielsen, Plotkin et al. - 1981
125 Event Structures (context) - Winskel - 1987
125 Outline of a Mathematical Theory of Computation (context) - Scott - 1970
103 Springer-Verlag (context) - Reisig - 1985
97 Information and Computation (context) - Meseguer, Montanari et al. - 1990
70 Branching Processes of Petri Nets (context) - Engelfriet - 1991
65 Institut fur Instrumentelle Mathematik (context) - Petri, Automaten - 1962
59 The Non-Sequential Behaviour of Petri Nets (context) - Goltz, Reisig - 1983
57 Petri Net Model for Algebraic Theories of Concurrency (context) - Van Glabbeek, Vaandrager - 1987
55 Sequential and Concurrent Behaviour in Petri Net Theory (context) - Best, Devillers - 1987
54 Modeling Concurrency with Geometry - Pratt - 1991
47 Information and Computation (context) - Winskel, Algebras et al. - 1987
38 Event Structure Semantics for CCS and related languages (context) - Winskel - 1982
37 A Distributed Operational Semantics for CCS based on Conditi.. (context) - Degano, De Nicola et al. - 1988
32 Axiomatizing Net Computations and Processes (context) - Degano, Meseguer et al. - 1989
12 Concepts of Net Theory (context) - Petri - 1973
11 A Trace Semantics for Petri Nets (context) - Hoogers, Kleijn et al. - 1992
10 Gesellschaft fur Mathematik und Datenverarbeitung (context) - Petri, Interner et al. - 1977
8 A New Definition of Morphism on Petri Nets (context) - Winskel - 1984
3 A Petri Net Semantics for CCSP (context) - Olderog - 1987
The graph only includes citing articles where the year of publication is known.
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