Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 1

Autori

• Kurt Jensen

Parametri

Pagine

252pagine

Tempo di lettura

9ore

• Computer, IT, programmazione
• Matematica

Maggiori informazioni sul libro

Focusing on Coloured Petri Nets (CP-nets), this comprehensive three-volume work explores both theoretical and practical dimensions of the model. It traces the evolution of CP-nets into a robust language for designing and implementing complex systems, emphasizing accessibility for application-oriented readers. The first volume covers hierarchical CP-nets, foundational concepts like deadlocks and fairness, and includes numerous examples and industrial applications. Additionally, it introduces formal analysis methods and describes tools that enhance practical use.

Per saperne di più

Lingua: Inglese

Pubblicato: 2010

(In brossura)