Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske: Abstract Hierarchical Graph Transformation. Mathematical Structures in Computer Science 15:773-819, 2005.
Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske: Rule-based transformation of graphs and the product type. In Patrick van Bommel, editor, Transformation of Knowledge, Information, and Data: Theory and Applications, pages 29-51. Idea Group Publishing, Hershey, Pennsylvania, USA, 2005.
Hans-Jörg Kreowski, Ugo Montanari, Fernado Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors: Formal Methods in Software and System Modeling. Volume 3393 of Lecture Notes in Computer Science. Springer Verlag, 2005.
Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg: Main Concepts of Networks of Transformation Units with Interlinking Semantics. In Hans-Jörg Kreowski, Ugo Montanari, Fernado Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors, Formal Methods in Software and System Modeling, volume 3393 of Lecture Notes in Computer Science, pages 325-342. Springer Verlag, 2005.
Julia Padberg, Hans-Jörg Kreowski: Loose Semantics of Petri Nets. In Hans-Jörg Kreowski, Ugo Montanari, Fernado Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors, Formal Methods in Software and System Modeling, volume 3393 of Lecture Notes in Computer Science, pages 370-384. Springer Verlag, 2005.
Hans-Jörg Kreowski: Autonomous Units to Model Cooperating Logistic Processes: Basic Features. In K.S. Palwar et al., editor, Proceedings of the 10th International Symposium on Logistics (ISL 2005), Lisbon, pages 377-380. 2005.
Karsten Hölscher, Renate Klempien-Hinrichs, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske: Regelbasierte Modellierung mit autonomen Transformationseinheiten. Technical report 1, Universität Bremen, Fachbereich Mathematik & Informatik, 2005.
