ELECTRONIC COMMUNICATIONS OF THE EASST Termination of Algebraic Rewriting with Inhibitors (2008)
Paolo Bottoni, Kathrin Hoffmann, Tiziana Margaria, Julia Padberg, Gabriele Taentzer, Paolo Bottoni, ...
Abstract. We proceed with the study of termination properties in the double pushout approach to algebraic rewriting, and show a concrete termination criterion for rewriting systems with inhibitors....
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel
Abstract. Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net during runtime in order to adapt the net to new...
www.elsevier.com/locate/entcs Higher-Order Nets for Mobile Policies 1,5 (2008)
Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-presicce
Since the early 80’s the combination of Petri nets and rule-based transformations has been extensively researched to obtain new concepts and results. In this paper we consider rules as tokens...
Algebraic higher-order nets: Graphs and petri nets as tokens (2008)
Kathrin Hoffmann, Till Mossakowski
Abstract. Petri nets and Algebraic High-Level Nets are well-known to model parallel and concurrent systems. In this paper, we introduce the concept of Algebraic Higher-Order Nets, which allow to have...
Hartmut Ehrig, Claudia Ermel, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, ...
Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net during runtime in order to adapt the net to new requirements....
zur Erlangung des akademischen Grades Promotionsausschuss: (2008)
Kathrin Hoffmann, Doktorin Der Ingenieurwissenschaften, Vorsitzender Prof, Dr. Günther Hommel, Berichter Prof, Dr. Hartmut Ehrig, ...
Approaches based on Petri nets are important for the development and redesign of distributed and concurrent systems. This thesis introduces the formal approach of algebraic higher-order nets as a...
Die Employee-Quality-Customer-Chain (2004)
Hoffmann, Kathrin, Koop, Barbara
Zusammenhänge zwischen Mitarbeiterzufriedenheit, Kundenzufriedenheit und Qualität, die in vergangenen Untersuchungen meist in getrennter Betrachtung erhoben wurden und zu uneinheitlichen Befunden...
Die Employee-Quality-Customer-Chain (2004)
Hoffmann, Kathrin, Koop, Barbara
Zusammenhänge zwischen Mitarbeiterzufriedenheit, Kundenzufriedenheit und Qualität, die in vergangenen Untersuchungen meist in getrennter Betrachtung erhoben wurden und zu uneinheitlichen Befunden...
Incremental Development of Safety Properties in Petri Net Transformations (1999)
Julia Padberg, Maike Gajewsky, Kathrin Hoffmann
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...
Incremental Development of Safety Properties in Petri Net Transformations (1999)
Julia Padberg Maike, Julia Padberg, Maike Gajewsky, Kathrin Hoffmann
. 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...
Jena, Univ., Diss., 1998.