Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Coloured Petri Nets Vol.2

Basic Concepts, Analysis Methods and Practical Use
BuchGebunden
177 Seiten
Englisch
Springererschienen am28.11.19941995
They allow the modeller to investigate dynamic properties of CP-nets.The main ideas behind the analysis methods are described as well as the mathematics on which they are based and also how the methods are supported by computer tools.mehr
Verfügbare Formate
BuchGebunden
EUR106,99
BuchKartoniert, Paperback
EUR106,99

Produkt

KlappentextThey allow the modeller to investigate dynamic properties of CP-nets.The main ideas behind the analysis methods are described as well as the mathematics on which they are based and also how the methods are supported by computer tools.
ZusammenfassungThis volume contains a detailed presentation of the analysis methods for CP-nets. They allow the modeller to investigate dynamic properties of CP-nets.The main ideas behind the analysis methods are described as well as the mathematics on which they are based and also how the methods are supported by computer tools. Some parts of the volume are theoretical while others are application oriented.
The purpose of the volume is to teach the reader how to use the formal analysis methods, which does not require a deep understanding of the underlying mathematical theory.
Details
ISBN/GTIN978-3-540-58276-2
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr1994
Erscheinungsdatum28.11.1994
Auflage1995
Seiten177 Seiten
SpracheEnglisch
Gewicht392 g
IllustrationenX, 177 p.
Artikel-Nr.10871012

Inhalt/Kritik

Inhaltsverzeichnis
Contents Overview: Full Occurrence Graphs.- Occurrence Graphs with Equivalence Classes.- Occurrence Graphs with Symmetries.- Invariants.- Timed CP-nets.- References.- Index.mehr