Coloured Petri Nets

Modelling and Validation of Concurrent Systems

Auteurs

• Kurt Jensen

Paramètres

• Informatique, programmation
• Mathématiques

En savoir plus sur le livre

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.

Achat du livre

• Année de publication: 2009