Das Buch ist derzeit nicht auf Lager

Coloured Petri Nets

Modelling and Validation of Concurrent Systems

Autoren

Kurt Jensen

Buchbewertung

4,3(4)Abgeben

Parameter

Informatik & Programmierung
Mathematik

Mehr zum Buch

The textbook focuses on Coloured Petri Nets (CPN) as a modelling language, detailing its constructs and analysis methods. It offers a practical guide for utilizing CPN, enriched by selected industrial case studies that illustrate real-world applications.