José Meseguer, Ugo Montanari, Vladimiro Sassone  Home/Search
Context Related
Links: ACM DBLP | dcs.qmw.ac.uk/~vs/...unfpetri94.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 Problem Downloading? From: dcs.qmw.ac.uk/~vs/cv/publ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the behaviour of Petri nets via non-sequential processes, via unfolding constructions, which provide formal relationships between nets and domains, and via algebraic models, which view Petri nets as essentially algebraic theories whose models are monoidal categories. In this paper we show that these three points of view can be reconciled.... (Update)
Context of citations to this paper: More
...and Reisig 1983) and to concatenable processes (Degano et al. 1989) without coinciding precisely with either of them. In (Meseguer et al. 1994; Meseguer et al. 1996) the present authors give a process oriented account of the unfolding construction. More precisely, we...
...a uniform framework are therefore particularly attractive and theoretically rich. Two prominent examples for this are Petri net processes [1,10] and term algebras in algebraic specifications [5] In this paper we contribute to this aim by showing that the semantics of a graph...
Cited by: More
Mathematical and Engineering Foundations for.. - McCarthy.. (1998) (Correct)
A Reflective Framework for Formal Interoperability - Sri (1998) (Correct)
Semantic Foundations for Composition and Interoperation of.. - McCarthy, Talcott (1996) (Correct)
Similar documents (at the sentence level):
53.0%: Process versus Unfolding Semantics for Place/Transition.. - Meseguer, Montanari.. (1996) (Correct)
Active bibliography (related documents): More All
0.7: On the Semantics of Place/Transition Petri Nets - Meseguer, Montanari, Sassone (1996) (Correct)
0.7: An Approach to the Category of Net Computations - Sassone (Correct)
0.5: Axiomatizing Petri Net Concatenable Processes - Sassone (1995) (Correct)
Similar documents based on text: More All
0.4: Functorial Models for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2002) (Correct)
0.3: Functorial Models for Petri Nets - Bruni, Meseguer, Montanari, al. (2001) (Correct)
0.3: On the Semantics of Petri Nets - Meseguer, Montanari, Sassone (1992) (Correct)
Related documents from co-citation: More All
5: Reasoning theories -- towards an architecture for open mechanized reasoning syst.. - Giunchiglia, Pecchiari et al. - 1994
4: Process versus Unfolding Semantics for Place/Transition Petri Nets - MESEGUER, MONTANARI et al. - 1996
4: Axiomatizing Reflective Logics and Languages - Clavel, Meseguer - 1996
BibTeX entry: (Update)
J. Meseguer, U. Montanari, and V. Sassone. On the Model of Computation of Place/Transition Petri Nets. In Proceedings of the 15th International Conference on Application and Theory of Petri Nets, LNCS, n. 815, R. Valette, Ed., pp. 16--38, Springer-Verlag, Berlin, 1994. http://citeseer.ist.psu.edu/montanari94model.html More
@inproceedings{ meseguer94model,
author = "Jose Meseguer and Ugo Montanari and Vladimiro Sassone",
title = "On the Model of Computation of Place/Transition Petri Nets",
booktitle = "Application and Theory of Petri Nets",
pages = "16-38",
year = "1994",
url = "citeseer.ist.psu.edu/montanari94model.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 ACM
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 DBLP
70 Branching Processes of Petri Nets (context) - Engelfriet - 1991 ACM DBLP
65 Institut fur Instrumentelle Mathematik (context) - Petri, Automaten - 1962
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 ACM DBLP
55 Sequential and Concurrent Behaviour in Petri Net Theory (context) - Best, Devillers - 1987 ACM DBLP
47 Information and Computation (context) - Winskel, Algebras et al. - 1987 DBLP
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
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 Stable Models of Typed -calculi (context) - Berry - 1978
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. - 1994 ACM DBLP
19 the Semantics of Petri Nets - Meseguer, Montanari et al. - 1992
12 Concepts of Net Theory (context) - Petri - 1973
10 Behavioural Notions for Elementary Net Systems (context) - Nielsen, Rozenberg et al. - 1990
10 Gesellschaft fur Mathematik und Datenverarbeitung (context) - Petri, Interner et al. - 1977
9 Local Event Structures and Petri Nets (context) - Hoogers, Kleijn et al. - 1993 ACM DBLP
6 the Semantics of Petri Nets: Processes (context) - Sassone - 1994
3 Some Remarks on Concatenable Processes (context) - Sassone - 1994
2 Technical Report TR 27/92 Dipartimento Informatica (context) - Meseguer, Montanari et al. - 1992
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