Petrinetze sind ein mächtiges Werkzeug zur Modellierung und Analyse von Systemen mit komplexen Interaktionen. Sie ermöglichen die Beschreibung von Systemen mit parallelen und verteilten Prozessen und liefern eine formale Grundlage für die Verifizierung und Validierung von Systemen. Die Theorie der Petrinetze hat sich in den letzten Jahrzehnten weiterentwickelt und umfasst heute eine Vielzahl von Anwendungsbereichen, von der Modellierung von Geschäftsprozessen bis hin zur Analyse von Kommunikationsnetzen. Du findest wissenschaftliche Arbeiten zu Petrinetzen als PDF und eBook, viele auch als Print-on-Demand, bei GRIN.