by
Maike Gajewsky
,
Julia Padberg
,
Milan Urbasek
,
M. Gajewsky
,
J. Padberg
Add To MetaCart
Abstract:
Contents: 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 Case Study . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3 Liveness Respecting Morphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 4 Review and Extension of Q . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 5 Liveness Preserving Transformations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Citations
|
1309
|
The Temporal Logic of Reactive and Concurrent Systems: Specification
– Manna, Pnueli
- 1991
|
|
153
|
Petri nets are monoids
– Meseguer, Montanari
- 1990
|
|
145
|
Introduction to the algebraic theory of graph grammars
– Ehrig
- 1979
|
|
41
|
Parisi-Presicce: Parallelism and concurrency in High Level Replacement Systems
– Ehrig, Habel, et al.
- 1992
|
|
36
|
Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement
– Padberg
- 1996
|
|
21
|
Presicce. High-Level Replacement Systems with Applications to Algebraic Specications and Petri Nets, volume 3
– Ehrig, Gajewsky, et al.
- 1998
|
|
14
|
Vincinity Respecting Net Morphisms
– Desel, Meceron
- 1990
|
|
13
|
Anforderungsanalyse eines medizinischen Informationssystems mit Algebraischen High-Level-Netzen
– Ermel
- 1996
|
|
12
|
Requirements Engineering of a Medical Information System Using Rule-Based Refinement of Petri Nets
– Ermel, Padberg, et al.
- 1996
|
|
10
|
Categorical Approach to Horizontal Structuring and
– Padberg
- 1998
|
|
9
|
Place Preserving and Transition Gluing Morphisms in Rule-Based Renement of Place/Transition Systems
– Gajewsky, Hooemann, et al.
- 1999
|
|
6
|
The Petri Net Baukasten: An Application-Oriented Petri Net Technology
– Padberg
- 1999
|
|
6
|
Rule-Based Re of HighLevel Nets Preserving Safety Properties
– Padberg, Gajewsky, et al.
- 1998
|
|
5
|
Incremental Development of Safety Properties in Petri Net Transformations
– Padberg, Gajewsky, et al.
- 1999
|
|
4
|
Safety Preserving Transformations of Coloured Petri Nets
– Padberg, Gajewsky
- 2000
|
|
4
|
der Aalst. Veri of work nets
– van
|
|
3
|
Concepts and Requirements for Transformations within Petri Net Based Process Models
– Gajewsky
|
|
2
|
On Compatibilty of Model and Class Transformations
– Gajewsky, Parisi-Presicce
- 2001
|
|
2
|
Maike Gajewsky. Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
– Padberg, Homann
- 2000
|
|
1
|
der Aalst. Finding errors in the design of a work process: A petri-net-based approach
– van
- 1998
|
