MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Petri Net Transformations in the "Petri Net Baukasten"." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

99,944 documents found, showing 1 through 10. Next 10 →

ATOM

Incremental Development of Safety Properties in Petri Net Transformations
by Julia Padberg Maike, Julia Padberg, Maike Gajewsky, Kathrin Hoffmann — 1999 — Theory and Application of Graph Transformations (TAGT'98), Lecture Notes in Computer Science 1764
… Properties in Petri Net Transformations ? Julia Padberg, Maike Gajewsky, and Kathrin Hoffmann Technical…
Add To MetaCart

Petri Net Transformations for Business Processes – A Survey
by Niels Lohmann, Eric Verbeek, Remco Dijkman
…Petri Net Transformations for Business Processes – A Survey Niels Lohmann 1 , Eric Verbeek 2…
Add To MetaCart

Incremental Development of Safety Properties in Petri Net Transformations
by Julia Padberg, Maike Gajewsky, Kathrin Hoffmann — 1999 — Theory and Application of Graph Transformations (TAGT'98), Lecture Notes in Computer Science 1764
…Incremental Development of Safety Properties in Petri Net Transformations ? Julia Padberg, Maike…
Cited by 5 (3 self) – Add To MetaCart

Initial Realization of the "Petri Net Baukasten"
by Petri Net Technology, A Battke, A. Borusan, J. Dehnert, H. Ehrig, C. Ermel — 1999
…/Allpublications/Year1999/ DFG-Forschergruppe Petri Net Technology Initial Realization of the Petri Net Baukasten T P N…
Cited by 1 (0 self) – Add To MetaCart

The Expert View of the "Petri Net Baukasten"
by M. Gajewsky — 1999 — Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems. Fraunhofer Gesellschaft ISST
… of the Petri Net Baukasten' we represent those transformations, where both source and target are also described…
Cited by 5 (2 self) – Add To MetaCart

Throughput Lower Bounds for Markovian Petri Nets: Transformation Techniques
by Javier Campos Beatriz, Javier Campos, Manuel Silva — 1991 — In Proceedings of the 4 rd International Workshop on Petri Nets and Performance Models
…Throughput Lower Bounds for Markovian Petri Nets: Transformation Techniques Javier Campos, Beatriz…
Add To MetaCart

The "Petri Net Baukasten": An Overview
by M. Gajewsky, H. Ehrig — 2001 — Unifying Petri Nets, Advances in Petri Nets. Springer, LNCS, 2001. (This Volume
…The Petri Net Baukasten: An Overview ? M. Gajewsky and H. Ehrig Technical University Berlin…
Cited by 2 (0 self) – Add To MetaCart

The "Petri Net Baukasten": An Application-Oriented Petri Net Technology
by J. Padberg — 1999 — Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems. Fraunhofer Gesellschaft ISST
…The Petri Net Baukasten': An Application-Oriented Petri Net Technology J. Padberg Institute…
Cited by 6 (1 self) – Add To MetaCart

Implementation of Parameterized Net Classes with the Petri Net Kernel of the Petri Net Baukasten
by Claudia Ermel, Michael Weber — 2001
…Implementation of Parameterized Net Classes with the Petri Net Kernel of the Petri Net Baukasten…
Cited by 1 (0 self) – Add To MetaCart

The Tool Developer View of the Petri Net Baukasten
by Michael Weber — 1999 — Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems. Fraunhofer Gesellschaft ISST
…The Tool Developer View of the Petri Net Baukasten Michael Weber Humboldt-Universitt zu Berlin…
Cited by 6 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB