Claudia Ermel, Michael Weber  Home/Search
Context Related
| tfs.cs.tuberlin.d...ifyingPN2001.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.d...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We show in this paper how the formalism of Parameterized Net Classes is realized with the Petri Net Kernel. Parameterized Net Classes are an abstract notion of Petri nets using formal parameters to express Petri net type characteristics. This formalism allows the abstract formulation of formal concepts for a large variety of Petri net types. The Petri Net Kernel is a tool infrastructure supporting an easy implementation of Petri net algorithms. Moreover, the Petri Net Kernel is not restricted... (Update)
Context of citations to this paper: More
...Baukasten . In the appendix we present the Expert View in more detail. Details of the other views and further results can be found in [WLB01,EW01] of this volume and in [DFG99,Pad99,Deh99,Web99] Acknowledgments This work is part of the joint research project DFG...
Cited by: More
The "Petri Net Baukasten": An Overview - Gajewsky, Ehrig (2001) (Correct)
Similar documents (at the sentence level):
34.2%: Implementation of Parameterized Petri Net Classes with the.. - Ermel, Weber (2000) (Correct)
Active bibliography (related documents): More All
1.1: The Tool Developer View of the Petri Net Baukasten - Weber (1999) (Correct)
0.8: Initial Realization of the "Petri Net Baukasten" - Battke, al. (1999) (Correct)
0.5: Application Oriented Verification Scenarios - Kindler, Vesper, Weber (Correct)
Similar documents based on text: More All
1.1: Tool Support for Various Types of Petri Nets - Weber (Correct)
1.0: The Petri Net Kernel: An Infrastructure for Building Petri Net .. - Kindler, Weber (1999) (Correct)
1.0: The Petri Net Kernel - Kindler, Weber (2000) (Correct)
BibTeX entry: (Update)
C. Ermel and M. Weber. Implementation of Parameterized Net Classes with the Petri Net Kernel. In H. Ehrig, G. Juhas, J. Padberg, and G. Rozenberg, editors, Unifying Petri Nets. Springer Verlag, Advances in Petri Nets, 2001. In this volume. http://citeseer.ist.psu.edu/ermel01implementation.html More
@article{ ermel01implementation,
author = "Claudia Ermel and Michael Weber",
title = "Implementation of Parameterized Net Classes with the {Petri} Net Kernel of the {\frqq {Petri} Net Baukasten\flqq}",
journal = "Lecture Notes in Computer Science",
volume = "2128",
pages = "79+",
year = "2001",
url = "citeseer.ist.psu.edu/ermel01implementation.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
81 System modelling with high-level Petri nets (context) - Genrich, Lautenbach - 1981
69 The Box Calculus: a new causal algebra with multi-label comm.. (context) - Best, Devillers et al. - 1992
66 Analysis Methods and Practical Use (context) - Jensen, Nets - 1992
64 Algebraic high-level net transformation systems (context) - Padberg, Ehrig et al. - 1995
45 Abstract Petri Nets: A Uniform Approach and Rule-Based Re ne.. (context) - Padberg - 1996
41 Theoretical Computer Science (context) - Reisig, Algebraic et al. - 1991
39 OBJSA Nets: a Class of High-level Nets having Objects as Dom.. (context) - Battiston, De Cindio et al. - 1988
17 Logics of Programming Workshop (context) - Goguen, Burstall et al. - 1984
13 Petri Nets: Basic Notions (context) - Rozenberg, Thiagarajan - 1986
8 The Petri Net Markup Language (context) - Jngel, Kindler et al.
6 Abstract Petri Nets as a Uniform Approach to High-Level Petr.. - Padberg - 1998
6 The dimensions of Petri nets: The Petri net cube - Kindler, Weber - 1998
4 Der Traum von einem universellen PetrinetzWerkzeug: Der Petr.. (context) - Kindler, Desel - 1996
3 Fundamentals of Algebraic Speci cation 1: Equations and Init.. (context) - Ehrig, Mahr - 1985
3 Petri Net Baukasten (context) - Gajewsky, View - 1999
3 Slovak Academy of Sciences (context) - Juhs, Petri et al. - 1998
3 cation of Petri Nets Using Adjoint Functors (context) - Padberg - 1998
3 Documentation of the Application Interface (context) - Kindler, Weber et al. - 1999
3 Petri Net Baukasten (context) - Dehnert, Base - 1999
2 Communication as Uni cation in the Petri Box Calculus (context) - Klaudel, Pelz - 1995
2 erent Semantics for Object Petri Nets (context) - Valk - 2000
2 Petri Net Baukasten: An Application-Oriented Petri Net Tech.. (context) - Padberg - 1999
1 Integration of Algebraic Speci cations and Petri Nets (context) - Ehrig, Reisig - 1996
1 Petri Net Baukasten: An Overview (context) - Gajewsky, Ehrig - 2001
1 The Application Developer View of the Petri Net Baukasten (context) - Lembke - 1999
1 The Tool Developer View of the Petri Net Baukasten - Weber - 1999
1 Parameterized Net Classes: A Uniform Approach to Net Classes (context) - Padberg, Ehrig - 2001
1 Improving the Usability of Petri Nets with the Petri Net Ba.. (context) - Borusan, Lembke et al. - 2001
1 Der Petrinetz-Wrfel im Petrinetz-Kern (context) - Weber - 1999
http://www.python.org
Documents on the same site (http://tfs.cs.tu-berlin.de/~lieske/publications.html): More
Rule-Based Refinement of High-Level Nets Preserving.. - Padberg, Gajewsky, Ermel (1998) (Correct)
Requirements Engineering Of A Medical Information System.. - Ermel, Padberg, Ehrig (1996) (Correct)
Expanding the Use of Structuring: Formal Justification for.. - Ermel, Gajewsky (1997) (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