Eike Best Bücher

Die formale Semantik wird als zentrales Thema der Informatik betrachtet, das durch unterschiedliche syntaktische Strukturen, jedoch identische Bedeutungen charakterisiert ist. Das Buch erläutert, wie der äußere Aufbau eines Satzes (Syntax) von seiner Bedeutung (Semantik) zu unterscheiden ist und dass die Semantik mehr umfasst als nur die Summe der Wörter. Es wird betont, dass zeitliche, kontextuelle und subjektive Aspekte die Bedeutung beeinflussen. Durch präzise Analysen werden selbst feine semantische Nuancen zwischen scheinbar identischen Sätzen sichtbar.

Focusing on the modeling of concurrent and distributed systems, this book explores the use of Petri nets, which facilitate the communication between active components through the production and absorption of different resources. It provides insights into the structure and dynamics of these systems, making it a valuable resource for understanding complex interactions in various applications.

Concurrent systems play a crucial role in modern computing, impacting various applications like control systems and multimedia. The book explores two prominent formalisms for analyzing these complex systems: Petri nets and process algebras. Process algebras offer algebraic tools for designing and reasoning about concurrent systems, while Petri nets provide a graphical approach for verification and understanding system behavior, particularly concerning causality and concurrency. Together, they address the challenges posed by the increasing complexity of concurrent computing environments.