Julia Padberg  Home/Search
Context
Related
| tfs.cs.tuberlin.d...rrentpadberg.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: tfs.cs.tuberlin.de/~padbe...year (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we extend this framework. This extension is independent of the description of the data type part. Hence it suffices to consider merely low-level Petri nets like different kinds of place/transition nets, ordinary nets, elementary nets, and so on. Careful investigations of several Petri types THIS WORK IS PART OF THE JOINT RESEARCH PROJECT "DFGFORSCHERGRUPPE PETRINETZ-TECHNOLOGIE" BETWEEN H. WEBER (COORDINATOR) , H. EHRIG (BOTH FROM THE TECHNICAL UNIVERSITY BERLIN) AND W. REISIG... (Update)
Similar documents (at the sentence level):
7.0%: Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets - Padberg (1998) (Correct)
Active bibliography (related documents): More All
0.7: Parameterized Net Classes: A Uniform Approach to Petri Net.. - Padberg, Ehrig (2001) (Correct)
0.6: Introduction to Universal Parameterized Net Classes - Ehrig, Padberg (1997) (Correct)
0.5: Proving Correctness of Distributed Algorithms A Petri Net.. - Desel, Kindler (Correct)
Similar documents based on text: More All
0.4: Categorical Approach to Horizontal Structuring and Refinement of.. - Padberg (1998) (Correct)
0.3: Society for Design and Process Science Printed in the.. - Julia Padberg Technical (2002) (Correct)
0.2: An Outline of Rule-Based Refinement for Petri Nets - Padberg (1996) (Correct)
BibTeX entry: (Update)
@incollection{ padberg01classification,
author = "Julia Padberg",
title = "Classification of Petri Nets Using Adjoint Functors",
booktitle = "Current Trends in Theoretical Computer Science",
pages = "171-179",
year = "2001",
url = "citeseer.ist.psu.edu/padberg01classification.html" }
Citations (may not include all citations):97 Information and Computation (context) - Meseguer, Montanari et al. - 1990
87 volume 4 of EATCS Monographs on Theoretical Computer Science (context) - Reisig - 1985
64 Algebraic high-level net transformation systems (context) - Padberg, Ehrig et al. - 1995
53 Elementary transition systems (context) - Nielsen, Rozenberg et al. - 1992
47 Information and Computation (context) - Winskel, algebras et al. - 1987
45 Abstract Petri Nets: A Uniform Approach and Rule-Based Refin.. (context) - Padberg - 1996
36 Analyse von Petri-Netz-Modellen (context) - Starke - 1990
17 Logics of Programming Workshop (context) - Goguen, Burstall et al. - 1984
16 Series in Pure and Applied Mathematics (context) - Adamek, Herrlich et al. - 1990
15 Schriften des Institutes fur Instrumentelle Mathematik (context) - Petri, Automaten - 1962
15 A Uniform Approach to Petri Nets - Ehrig, Padberg - 1997
13 Categorical Approach to Horizontal Structuring and Refinemen.. - Padberg - 1999
13 Petri nets: Basic notions (context) - Rozenberg, Thiagarajan - 1986
12 Behaviour and realization construction for Petri nets based .. (context) - Ehrig, Padberg et al. - 1994
10 Functorial theory of parameterized specifications in a gener.. (context) - Ehrig, Groe-Rhode - 1994
6 The dimensions of Petri nets: The Petri net cube - Kindler, Weber - 1998
2 the role of category theory in the area of algebraic specifi.. - Ehrig, Groe-Rhode et al. - 1996
2 Vieweg-Verlag (context) - Best - 1995
1 Foundation Concepts of the AEPetri Net Baukasten (context) - Borusan, Fricke et al. - 1998
1 Initial Realization of the AEPetri Net Baukasten (context) - Borusan, Ehrig et al. - 1999
Documents on the same site (http://tfs.cs.tu-berlin.de/~padberg/year.html): More
Petri Net Based Components for Evolvable Architectures - Padberg (2000) (Correct)
Evolutionary Development Of Business Process Centered.. - Weber, Sünbül, Padberg (2000) (Correct)
Petri Net Modules in the Transformation-Based Component Framework - Padberg, Ehrig (2003) (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