Warenkorb
€ 0,00 0 Buch dabei,
portofrei
Coloured Petri Nets. Vol.2 als Buch
PORTO-
FREI

Coloured Petri Nets. Vol.2

Basic Concepts, Analysis Methods and Practical Use. 'Monographs in Theoretical Computer Science'. Sprache:…
Buch (gebunden)
Ihr 12%-Rabatt auf alle Spielwaren, Hörbücher, Filme, Musik u.v.m
 
12% Rabatt sichern mit Gutscheincode: NIKOLAUS12
 
This 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 a … weiterlesen
Dieses Buch ist auch verfügbar als:
Buch

123,49 *

inkl. MwSt.
Portofrei
Lieferbar innerhalb von ein bis zwei Wochen
Coloured Petri Nets. Vol.2 als Buch

Produktdetails

Titel: Coloured Petri Nets. Vol.2
Autor/en: Kurt Jensen

ISBN: 3540582762
EAN: 9783540582762
Basic Concepts, Analysis Methods and Practical Use.
'Monographs in Theoretical Computer Science'.
Sprache: Englisch.
Springer, Berlin

20. Mai 1997 - gebunden - 177 Seiten

Beschreibung

This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second 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.

Inhaltsverzeichnis

Contents Overview: Full Occurrence Graphs.- Occurrence Graphs with Equivalence Classes.- Occurrence Graphs with Symmetries.- Invariants.- Timed CP-nets.- References.- Index.
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
** Deutschsprachige eBooks und Bücher dürfen aufgrund der in Deutschland geltenden Buchpreisbindung und/oder Vorgaben von Verlagen nicht rabattiert werden. Soweit von uns deutschsprachige eBooks und Bücher günstiger angezeigt werden, wurde bei diesen kürzlich von den Verlagen der Preis gesenkt oder die Buchpreisbindung wurde für diese Titel inzwischen aufgehoben. Angaben zu Preisnachlässen beziehen sich auf den dargestellten Vergleichspreis.