Matthias Kunze Livres

This textbook introduces the foundations of modelling and analysing discrete dynamic systems, including computer programs, software and hardware systems, and business processes. It covers key concepts and concrete modelling techniques such as finite automata, state machines, and Petri nets, with a focus on practical application scenarios, particularly in business processes. The book is divided into three parts. The first part lays the groundwork for behavioural modelling, introducing transition systems as a formalism for representing discrete dynamic system behaviour and discussing causality as a crucial concept for understanding behaviour. The second part, the core of the book, delves into models of behaviour, detailing sequential and concurrent systems, and introducing finite automata, state machines, and various Petri nets. A dedicated chapter explores business process models, workflow patterns, and BPMN, the industry standard for business process modelling. The final part examines how to analyse system behaviour, introducing state spaces and covering behaviour comparison, as well as the formal analysis and verification of behavioural models. This book is aimed at computer science and software engineering students, as well as programmers and system analysts, guiding them from fundamental concepts to advanced techniques for modelling and analysing systems in real-world scenarios.

Der Rokoko-Maler Franz Martin Kuen ist einer der bedeutenden Freskanten Süddeutschlands. 0Mit seiner in Weißenhorn gelegenen Werkstatt konzentriert sich sein Schaffen auf Mittelschwaben, reicht aber auch darüber hinaus vom Feder- und Bodensee im Westen bis zum Ammersee im Osten. Kuen wird in der Werkstatt seines Vaters in Weißenhorn und von Johann Georg Bergmüller in Augsburg ausgebildet. Im Ulmer Wengenstift und vor allem mit dem Bibliothekssaal der Benediktinerabtei Wiblingen schafft er mit Bravour erste Großaufträge. Danach setzt Kuen seine Ausbildung mit einer Italienreise fort. Dabei nahm er vor allem in der venezianischen Werkstatt des Giovanni Battista Tiepolo für sein weiteres künstlerisches Schaffen prägende Eindrücke auf. Mit Kuens weiterem Werk untrennbar verbunden ist das Reichsstift Roggenburg (Landkreis Neu-Ulm), dessen komplette malerische Ausstattung er über Jahre hinweg übernimmt. Dr. Matthias Kunze ist Kunsthistoriker und Museumsleiter in Kuens Geburtsstadt Weißenhorn, Ulrich Hoffmann ist Vorstand des Museumsvereins.