Algebras of coloured/ Petri nets, Fachbücher von Franck Pommereau

Das Buch "Algebras of coloured/ Petri nets" bietet eine umfassende Übersicht über mehr als zehn Jahre Forschung zu einem Rahmenwerk von komposierbaren farbigen Petri-Netzen. Es konzentriert sich auf ein Kernmodell, das durch verschiedene Funktionen wie Kontrollfluss, synchrone Kommunikation, Ausnahmen, Threads, Funktionen und Zeit erweitert werden kann. Diese Erweiterungen sind so gestaltet, dass das zugrunde liegende Modell der farbigen Petri-Netze erhalten bleibt, wodurch die üblichen Analysetools und -techniken weiterhin anwendbar sind. Das Buch behandelt spezifische Verifikationsprobleme, die aus den vorgeschlagenen Ansätzen resultieren, und bietet Lösungen zur effizienten Verifikation. Zudem wird eine Implementierung des Rahmenwerks vorgestellt, die Anwendungen in der Modellierung und Verifikation von Sicherheitsprotokollen sowie in der Modellierung und Analyse biologischer Regulationsnetzwerke im Kontext von Entwicklungsprozessen umfasst.