Das Buch ist derzeit nicht auf Lager

Coloured Petri Nets

Modelling and Validation of Concurrent Systems

Autoren

Buchbewertung

4,3(4)Abgeben

Parameter

Seitenzahl: 396 Seiten
Lesezeit: 14 Stunden

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.

Publikation

Buchkauf

Coloured Petri Nets, Kurt Jensen, Lars M. Kristensen

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

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

4,3

Sehr gut

4 Bewertung

Abgeben

Hier könnte deine Bwertung stehen.

Titel: Coloured Petri Nets
Untertitel: Modelling and Validation of Concurrent Systems
Sprache: Englisch
Autor*innen: Kurt Jensen, Lars M. Kristensen
Verlag: Springer Berlin Heidelberg
Erscheinungsdatum: 2014
Einband: Paperback
Seitenzahl: 396
ISBN13: 9783642425813
Schlagwörter: Informatik & Programmierung, Mathematik
Bewertung: 4,25 von 5 Sternen
Beschreibung: 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.