KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Coloured Petri Nets

Coloured Petri Nets Modelling and Validation of Concurrent Systems

64,19 €

inkl. gesetzl. MwSt.

Rezension

From the reviews:

“A colored Petri net (CPN) is a concurrent and typed enhancement of a state machine. This book is a comprehensive treatise on CPNs. … The book is well edited … . structure and presentation are very well conceived: it can be read as a tutorial for CPNs, as an advanced guide for CPTools, or as a reference for CPN formalism.” (A. Squassabia, ACM Computing Reviews, August, 2010)

Produktdetails

Format

PDF

Kopierschutz

Nein

Family Sharing

Nein

Text-to-Speech

Nein

Erscheinungsdatum

23.06.2009

Verlag

Springer

Seitenzahl

384 (Printausgabe)

Dateigröße

3164 KB

Sprache

Englisch

EAN

9783642002847

Rezension

Zitat

From the reviews:
"A colored Petri net (CPN) is a concurrent and typed enhancement of a state machine. This book is a comprehensive treatise on CPNs. ... The book is well edited ... . structure and presentation are very well conceived: it can be read as a tutorial for CPNs, as an advanced guide for CPTools, or as a reference for CPN formalism." (A. Squassabia, ACM Computing Reviews, August, 2010)

Produktdetails

Format

PDF

eBooks im PDF-Format haben eine festgelegte Seitengröße und eignen sich daher nur bedingt zum Lesen auf einem tolino eReader oder Smartphone. Für den vollen Lesegenuss empfehlen wir Ihnen bei PDF-eBooks die Verwendung eines Tablets oder Computers.

Kopierschutz

Nein

Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie, allen sonstigen eReadern und am PC lesen. Das eBook ist nicht kopiergeschützt und kann ein personalisiertes Wasserzeichen enthalten. Weitere Hinweise zum Lesen von eBooks mit einem personalisierten Wasserzeichen finden Sie unter Hilfe/Downloads.

Family Sharing

Nein

Mit Family Sharing können Sie eBooks innerhalb Ihrer Familie (max. sechs Mitglieder im gleichen Haushalt) teilen. Sie entscheiden selbst, welches Buch Sie mit welchem Familienmitglied teilen möchten. Auch das parallele Lesen durch verschiedene Familienmitglieder ist durch Family Sharing möglich. Um eBooks zu teilen oder geteilt zu bekommen, muss jedes Familienmitglied ein Konto bei Thalia oder einem anderen tolino-Buchhändler haben. Weitere Informationen finden Sie unter Hilfe/Family-Sharing.

Text-to-Speech

Nein

Bedeutet Ihnen Stimme mehr als Text? Mit der Funktion Text-to-Speech können Sie sich im tolino webReader und in der aktuellen Thalia – Lesen & Hören App das eBook vorlesen lassen. Weitere Informationen finden Sie unter Hilfe/Text-to-Speech.

Barrierefreiheit
  • keine Information zur Barrierefreiheit bekannt

Erscheinungsdatum

23.06.2009

Verlag

Springer

Seitenzahl

384 (Printausgabe)

Dateigröße

3164 KB

Sprache

Englisch

EAN

9783642002847

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel findest du in
  • Produktbild: Coloured Petri Nets
  • 1) Introduction to Modelling and Validation - 2) Non-Hierarchical Coloured Petri Nets - 3) CPN ML Programming - 4) Formal Definition of Non-Hierarchical Coloured Petri Nets - 5) Hierarchical Coloured Petri Nets - 6) Formal Definition of Hierarchical Coloured Petri Nets - 7) State Spaces and Behavioural Properties - 8) Advanced State Space Methods - 9) Formal Definition of State Spaces and Behavioural Properties - 10) Times Coloured Petri Nets - 11) Formal Definition of Timed Coloured Petri Nets - 12) Simulation-Based Performance Analysis - 13) Behavioural Visualisation - 14) Examples of Industrial Applications - 15) Teaching Coloured Petri Nets