Petrinetze haben sich als Modellierungstechnik für informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaßen beliebt. Die Inhalte werden äußerst anschaulich dargestellt; nur zum präzisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; für Varianten, Zusätze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Lösungen der Übungsaufgaben, Diskussionsforen etc. stehen in digitaler Form bereit.
Das Buch behandelt die Konzepte von organisatorischen Systemen und deren Modellierung durch Petrinetze, die aus der Netztheorie nach C. A. Petri stammen. Es bietet eine Methodik zur Darstellung verschiedenster Systeme in unterschiedlichen Detailgraden, ohne auf komplexe Mathematik zurückzugreifen. Die Autorinnen und Autoren, die aus praktischen Kursen für Projektmanager stammen, präsentieren anschauliche Prinzipien der Systemmodellierung. Durch die Betrachtung unterschiedlicher Netzmodelle wird ein umfassendes Verständnis für die Anwendung in spezifischen Problemfeldern vermittelt.
Die Informatik ist eine junge Wissenschaft, die sich durch einen rasanten technischen Fortschritt auszeichnet. Dadurch wird häufig übersehen, dass aktuelle Themen eine teilweise lange Entwicklungsgeschichte durchlaufen haben. Informatikprofessoren der Humboldt-Universität zu Berlin haben zu einigen ihrer aktuellen Arbeitsgebiete die Entwicklungslinien von den Anfängen bis Gegenwart mit einem Ausblick auf die mögliche Zukunft aufgezeichnet. Dieser spannende und lehrreiche Einblick in die Informatik öffnet die Tür zu einem umfassenden und nicht nur technologisch geprägten Verständnis.
With their intuitive graphical approach, Petri nets are widely accepted for modeling in software design and control engineering. This book offers a clear introduction to the essentials of Petri nets, detailing core modeling techniques and analysis methods, supported by examples and case studies. Part I focuses on modeling with Petri nets, explaining concepts through examples, starting with a powerful and intuitive model. Part II discusses essential analysis methods specific to Petri nets, introducing techniques for formulating key properties and algorithms for validating system nets. Part III features case studies that present new concepts and analysis techniques for diverse modeling tasks. The author provides various paths through the content: an elementary strand for those studying basic nets, a modeling strand for readers focused on modeling without analysis, and a strand for technically simple yet challenging examples. The book maintains a strong balance of consistency, comprehensibility, and correctness, featuring reduced formal arguments in the main text with theoretical details in an appendix. Graphical illustrations enhance understanding, and each chapter concludes with exercises and further reading recommendations. It is suitable for computer science students and researchers across related fields.
Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms. In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides surprisingly simple yet powerful correctness proofs for the algorithms. The scope of the book ranges from distributed control and synchronization of two sites up to algorithms on any kind of networks. Numerous examples show that description and analysis of distributed algorithms in this framework are intuitive and technically transparent.
Focusing on the practical applications of net theory, this book explores foundational concepts and their interrelations, emphasizing the unique aspects that set nets apart from other system models, such as concurrency and resource limitations. It introduces fundamental ideas like 'condition' and 'event', illustrating their impact on state changes through examples. The axiomatic presentation aims to provide readers with a systematic understanding, equipping them to engage with existing net literature and applications in various fields.
The book offers a conceptual framework to navigate the complexities of the digital world, highlighting the challenge of managing large, diverse systems that balance dynamic behaviors with static data. It addresses the need for innovative approaches to understand and interact with these evolving digital environments, making it a crucial resource for those seeking to comprehend the intricacies of modern technology and its implications.
