MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Maike Gajewsky" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • March 15, 1999  
  • by Maike Gajewsky, Claudia Ermel — 2000 — th World Conference on Integrated Design and Process Technology
  • …Transition invariants play an important role in the analysis of Petri nets. They determine cycles within a system. In this paper we present a categorical characterization of transition invariants in algebraic highlevel (AHL) nets. Thus, when transforming or composing AHL nets using categorical struc…
  • Add To MetaCart
  • Safety Preserving Transformations of Coloured Petri Nets  
  • by Julia Padberg, Julia Padberg, Maike Gajewsky, Maike Gajewsky — 2000
  • …In this paper a formal technique for refining Coloured Petri Nets within the software development process is introduced. This technique -- called rule-based refinement -- is based on rules and transformations of Coloured Petri Nets preserving safety properties in the sense of [MP92]. First steps tow…
  • Cited by 4 (2 self) – Add To MetaCart
  • Transition Invariants in Algebraic High-Level Nets  
  • by Maike Gajewsky, Claudia Ermel — 1999 — th World Conference on Integrated Design and Process Technology
  • …Transition invariants play an important role in the analysis of Petri nets. They determine cycles within a system. In this paper we present a categorical characterization of transition invariants in algebraic highlevel (AHL) nets. Thus, when transforming or composing AHL nets using categorical struc…
  • Cited by 1 (1 self) – Add To MetaCart
  • Transition invariants in . . .  
  • by Maike Gajewsky, Claudia Ermel — 1999 — TH WORLD CONFERENCE ON INTEGRATED DESIGN AND PROCESS TECHNOLOGY
  • …Transition invariants play an important role in the analysis of Petri nets. They determine cycles within a system. In this paper we present a categorical characterization of transition invariants in algebraic high-level (AHL) nets. Thus, when transforming or composing AHL nets using categorical stru…
  • Add To MetaCart
  • Transition invariants in Algebraic High-. . .  
  • by Maike Gajewsky, Claudia Ermel — 2000 — TH WORLD CONFERENCE ON INTEGRATED DESIGN AND PROCESS TECHNOLOGY
  • …Transition invariants play an important role in the analysis of Petri nets. They determine cycles within a system. In this paper we present a categorical characterization of transition invariants in algebraic highlevel (AHL) nets. Thus, when transforming or composing AHL nets using categorical struc…
  • Add To MetaCart
  • Formal Transformations of Petri Nets  
  • by Maike Gajewsky, Francesco Parisi-Presicce — 2000
  • …The incremental approach to the stepwise development of process models is based on the ability to transform a model (by replacing a submodel with another one) and to change the class of models (by adding features previously ignored). In the context of Petri Nets, this paper provides rigorous foundat…
  • Cited by 2 (0 self) – Add To MetaCart
  • On Compatibility of Model and Class Transformations  
  • by Maike Gajewsky, Francesco Parisi-Presicce — 2001 — 15 th International Workshop on Algebraic Development Techniques and General Workshop of the CoFI WG
  • …The incremental approach to stepwise development of models requires the ability to transform models (by replacing a submodel with another one) and to change the class of models (by adding features previously ignored). These two different levels of transformations, called model transformation, resp. …
  • Cited by 2 (1 self) – Add To MetaCart
  • Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties  
  • by Maike Gajewsky, Julia Padberg, Milan Urbasek, M. Gajewsky, J. Padberg — 2001
  • …Contents: 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 Case Study . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3 Liv…
  • Cited by 3 (2 self) – 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
  • …The application of the general theory of high-level replacement systems has proven to be most rewarding in many different areas, especially in Petri nets [EGPP99]. In this paper the extension of highlevel replacement systems to refinement morphisms [Pad99] is applied to place/transition nets. The co…
  • Cited by 5 (3 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB