"Petri Net Algebra" ist ein Fachbuch, das sich mit der Analyse und Beschreibung von parallelen Systemen in der Informatik beschäftigt. In einer zunehmend technologiegetriebenen Gesellschaft sind computerbasierte Systeme allgegenwärtig und verändern grundlegend, wie Geschäfte abgewickelt werden. Das Buch thematisiert die Komplexität von Systemen, die aus vielen gleichzeitig aktiven Komponenten bestehen, und bietet einen umfassenden Überblick über zwei der am häufigsten verwendeten formalen Modelle: Petri-Netze und Prozessalgebren. Während Prozessalgebren algebraische Operatoren nutzen, um komplexe Systeme zu spezifizieren und zu analysieren, bieten Petri-Netze eine grafische Darstellung dieser Systeme und ermöglichen eine effiziente Überprüfung ihrer Korrektheit. Die Autoren, Maciej Koutny, Eike Best und Raymond Devillers, kombinieren theoretische Grundlagen mit praktischen Anwendungen, um ein tiefes Verständnis für die Herausforderungen und Lösungen im Bereich der parallelen Systeme zu vermitteln.