Mark-Oliver Stehr, José Meseguer, Peter Csaba  Home/Search
Context Related
| sri.com/papers/pos...trinets_2001.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: sri.com/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by individual tokens, test arcs, and time. Based on the idea that "Petri nets are monoids" suggested by Meseguer and Montanari we define a rewriting semantics that maps place/transition nets into rewriting logic specifications. We furthermore generalize this result to a general form of algebraic net specifications... (Update)
Context of citations to this paper: More
.... [218] 5) Petri nets, including place transition nets, contextual nets, algebraic nets, colored nets, and timed Petri nets [218,223,293,297,268,289]; 6) Gamma and the Chemical Abstract Machine [218] 7) CCS and LOTOS [230,208,314,45,89,311,309,201] 8) the calculus...
...of having frozen attributes in rewrite theories has emerged gradually. Stehr, Meseguer, and Olveczky first proposed frozen kinds [13]. The generalization of this to a subset W S of frozen operators emerged in a series of email exchanges between Stefani and the second...
Cited by: More
Rewriting Logic Semantics: From Language Specifications To.. - Meseguer, Rosu (2004) (Correct)
Generalized Rewrite Theories - Roberto Bruni And (2003) (Correct)
Rewriting Logic: Roadmap and Bibliography - Martí-Oliet, Meseguer (2001) (Correct)
Active bibliography (related documents): More All
0.8: Algebraic System Nets for Modelling Distributed Algorithms - Kindler, Reisig (1996) (Correct)
0.8: Maude's Module Algebra - Durán, Meseguer (2000) (Correct)
0.6: Trace Channel Nets - Fanchon (Correct)
Similar documents based on text: More All
0.6: Specification of Real-Time and Hybrid Systems in Rewriting.. - Olveczky, Meseguer (2000) (Correct)
0.6: On the folding of Algebraic Nets - Lilius (1994) (Correct)
0.6: Two Algebraic Process Semantics for Contextual Nets - Bruni, Sassone (2001) (Correct)
Related documents from co-citation: More All
4: Implementing CCS in Maude - Verdejo, Mart'i-Oliet
4: Maude: Specification and programming in rewriting logic - Clavel, Dur'an et al. - 1999
3: Rewriting as a unified model of concurrency (context) - Meseguer - 1990
BibTeX entry: (Update)
Mark-Oliver Stehr, Jos'e Meseguer, and Peter Csaba Olveczky. Rewriting logic as a unifying framework for Petri nets. In H. Ehrig, G. Juhas, J. Padberg, and G. Rozenberg, editors, Unifying Petri Nets, Lecture Notes in Computer Science. Springer-Verlag, 2001. To appear. http://citeseer.ist.psu.edu/stehr01rewriting.html More
@article{ stehr01rewriting,
author = "Mark-Oliver Stehr and Jos{\'e} Meseguer and Peter Csaba {\"O}lveczky",
title = "Rewriting Logic as a Unifying Framework for {Petri} Nets",
journal = "Lecture Notes in Computer Science",
volume = "2128",
pages = "250+",
year = "2001",
url = "citeseer.ist.psu.edu/stehr01rewriting.html" }
Citations (may not include all citations):127 General logics (context) - Meseguer
126 A logical theory of concurrent objects and its realization i.. (context) - Meseguer - 1993
97 Information and Computation (context) - Meseguer, Montanari et al. - 1990
91 Rewriting logic as a semantic framework for concurrency: a p.. - Meseguer - 1996
81 System modelling with high-level Petri nets (context) - Genrich, Lautenbach - 1981
78 Conditional rewriting logic as a unied model of concurrency (context) - Meseguer - 1992
69 Membership algebra as a logical framework for equational spe.. - Meseguer
63 Institutions: Abstract model theory for specication and prog.. (context) - Goguen, Burstall - 1992
57 Some fundamental algebraic tools for the semantics of comput.. - Tarlecki, Burstall et al. - 1991
55 Sequential and concurrent behaviour in Petri net theory (context) - Best, Devillers - 1987
47 Coloured Petri nets and the invariant-method (context) - Jensen - 1981
46 Acta Informatica (context) - Montanari, Rossi - 1995
44 Maude: Specication and Programming in Rewriting Logic (context) - Clavel, Dur et al. - 1999
41 Theoretical Computer Science (context) - Reisig, algebraic - 1991
39 OBJSA nets: a class of high-level nets having objects as dom.. (context) - Battiston, De Cindio et al. - 1988
38 From Petri nets to linear logic through categories: A survey (context) - Mart, Meseguer - 1991
35 From Petri nets to linear logic (context) - Mart, Meseguer - 1991
34 From coloured Petri nets to object Petri nets - Lakos - 1995
34 A categorical linear framework for Petri nets (context) - Brown, Gurr - 1990
34 Predicatetransition net (context) - transition, High et al. - 1991
32 Petri nets as models of linear logic - Engberg, Winskel
24 Coloured Petri nets extended with place capacities - Christensen, Hansen
20 Representation theorems for Petri nets - Meseguer, Montanari et al. - 1997
20 Interval timed coloured Petri nets and their analysis - van der Aalst
19 Algebraic high-level nets: Petri nets revisited (context) - Ehrig, Padberg et al. - 1994
19 Elements of Distributed Algorithms: Modeling and Analysis wi.. (context) - Reisig - 1998
19 the semantics of Petri nets - Meseguer, Montanari et al.
17 Specication and proof in membership equational logic (context) - Bouhoula, Jouannaud et al. - 2000
16 Petri nets as token objects: An introduction to elementary o.. (context) - Valk
15 Uniform approach to Petri nets - Ehrig, Padberg - 1997
15 Relating Petri nets to formulae of linear logic (context) - Brown - 1989
14 Pure type systems in rewriting logic - Stehr, Meseguer - 1999
14 Functorial semantics for petri nets under the individual tok.. - Bruni, Meseguer et al. - 1999
14 SRI International (context) - Clavel, Dur et al. - 2000
14 Functorial semantics for Petri nets under the individual tok.. - Bruni, Meseguer et al.
13 Towards Maude - Clavel, Dur et al.
13 Rewriting logic and Maude: a wide-spectrum semantic framewor.. (context) - Meseguer
12 Algebraic system nets for modelling distributed algorithms - Kindler, Reisig - 1996
12 A partial order event model for concurrent objects (context) - Meseguer, Talcott
11 Timed high-level nets (context) - Morasca, Pezz et al. - 1991
10 Theoretical Computer Science (context) - Petri, time - 1996
10 Flexibility in algebraic nets - Kindler, olzer
10 A comparison of Petri net semantics under the collective tok.. - Bruni, Meseguer et al. - 1998
10 volume 1 of EATCS monographs on theoretical computer science (context) - Jensen, Nets et al. - 1992
10 ective model of concurrency (context) - Viry, An
7 Algebraic models for contextual nets - Bruni, Sassone
7 composition and net properties of algebraic high-level nets (context) - Dimitrovici, Hummert et al.
7 Petri nets as dynamical objects (context) - Valk - 1995
7 Parallel systems specications with coloured Petri nets and a.. (context) - Vautherin
7 Re ection in general logics and in rewriting logic (context) - Clavel - 1998
7 Real-Time Maude: A tool for simulating and analyzing real-ti.. - Olveczky, Meseguer - 2000
7 CINNI - A Generic Calculus of Explicit Substitutions and its.. (context) - Stehr
7 Analysi placetransition net with timed arc and it applicatio.. (context) - of, nets et al. - 1993
6 FIFO-net models for processes with asynchronous communicatio.. (context) - Fanchon
6 Proces versu unfolding semantic placetransition Petri net - Montanari, versus et al. - 1996
5 FIFO nets without order deadlock (context) - Finkel, Choquet - 1988
5 analysi distributed system by mean predicatetransition net (context) - Lautenbach, of et al. - 1979
5 Equivalence transformation of PrT-nets (context) - Genrich
5 Petri net based verication of distributed algorithms: An exa.. (context) - Kindler, Reisig et al. - 1997
5 An algebraic approach to high level Petri nets (context) - Reisig, Vautherin - 1987
5 Structured theories and institutions (context) - Dur, Meseguer
4 unpublished manuscript (context) - Asperti, for - 1987
4 Specication of real-time and hybrid systems in rewriting log.. (context) - Olveczky, Meseguer - 2000
4 Cooperative nets - Sibertin-Blanc - 1994
4 A linear logic view of object Petri nets (context) - Farwer - 1999
3 volume 13 of EATCS Monographs on Theoretical Computer Scienc.. (context) - Best, Fernandez et al. - 1988
3 A rewriting semantics for algebraic nets (context) - Stehr - 2001
3 Base sur les Reseaux de Petri (context) - Vautherin, Algebrique - 1985
3 Specication and Analysis of Real-Time and Hybrid Systems in .. (context) - Olveczky - 2000
2 FIFO nets: New model of parallel computation (context) - Finkel, Memmi - 1982
2 erent Semantics for Object Petri Nets (context) - Valk - 2000
2 Abstract data nets: Combining Petri nets and abstract data t.. (context) - Berthomieu, Choquet et al. - 1986
2 Run time modication of algebraic high level nets and algebra.. (context) - Ho
1 Partial order semantics and test arcs (context) - Vogler - 1997
1 Comparison of Pr-net based channel models (context) - Kettunen, Montonen et al. - 1988
1 model computation placetransition Petri net - Montanari, the et al. - 1994
1 Axiomizing the algebra of net computations and processes (context) - Degano, Meseguer et al. - 1996
1 An algebra of regular macronets for formal specication of co.. (context) - Anisimov - 1991
1 Macroplaces in high level Petri nets: Application for design.. (context) - Anisimov, Kishinski et al. - 1996
Documents on the same site (http://maude.csl.sri.com/papers/): More
Maude: Specification and Programming in Rewriting Logic - Clavel, Durán.. (2001) (Correct)
Structured Theories and Institutions - Durán, Meseguer (1999) (Correct)
An Extensible Module Algebra For Maude - Durán, Meseguer (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