Das Buch ist derzeit nicht auf Lager

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 1

Autoren

Kurt Jensen

Buchbewertung

5,0(1)Abgeben

Parameter

Seitenzahl: 252 Seiten
Lesezeit: 9 Stunden

Mehr zum Buch

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.

Buchkauf

Coloured Petri Nets, Kurt Jensen

Sprache
Erscheinungsdatum: 2010
product-detail.submit-box.info.binding: (Paperback)

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

5,0

Ausgezeichnet

1 Bewertung

Abgeben

Hier könnte deine Bwertung stehen.

Titel: Coloured Petri Nets
Untertitel: Basic Concepts, Analysis Methods and Practical Use. Volume 1
Sprache: Englisch
Autor*innen: Kurt Jensen
Verlag: Springer Berlin Heidelberg
Erscheinungsdatum: 2010
Einband: Paperback
Seitenzahl: 252
ISBN13: 9783642082436
Schlagwörter: Informatik & Programmierung, Mathematik
Bewertung: 5 von 5 Sternen
Beschreibung: 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.