Warenkorb
€ 0,00 0 Buch dabei,
portofrei
Free Choice Petri Nets als Buch
PORTO-
FREI

Free Choice Petri Nets

Pbk Version. Sprache: Englisch.
Buch (kartoniert)
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuse … weiterlesen
Buch

47,99*

inkl. MwSt.
Portofrei
Lieferbar innerhalb von zwei Wochen
Free Choice Petri Nets als Buch

Produktdetails

Titel: Free Choice Petri Nets
Autor/en: Jorg Desel, Javier Esparza

ISBN: 0521019451
EAN: 9780521019453
Pbk Version.
Sprache: Englisch.
Herausgegeben von C. J. Van Rijsbergen
CAMBRIDGE UNIV PR

Juni 2005 - kartoniert - 256 Seiten

Beschreibung

Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free choice petri nets, which play a central role in the theory. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques. The material is organised along the lines of a course book, and each chapter contains numerous exercises, making this book ideal for graduate students and research workers alike.

Inhaltsverzeichnis

1. Introduction; 2. Analysis techniques for petri nets; 3. S-systems and T-systems; 4. Liveness in free choice; 5. The coverability theorems; 6. The rank theorem; 7. Reduction and synthesis; 8. Home markings; 9. Reachability and shortest sequences; 10. Generalizations; Index; List of symbols; List of main results.

Pressestimmen

"Desel and Esparza's book is interesting and well-written, and, to the best of my knowledge, it is the most recent and complete reference to free-choice Petri nets available....I would definitely recommend this book to anyone who is studying free-choice nets. They will discover a good overview of all the important results in the field over the past 20 years. I also recommend this book to researchers and practitioners interested in Petri nets, since they will probably increase their knowledge of this topic." M. Pezze, Computing Reviews

Mehr aus dieser Reihe

zurück
The Hungarian Model: Markets and Planning in a Socialist Economy
Buch (gebunden)
von Xavier Richet, R…
Nominal Sets: Names and Symmetry in Computer Science
Buch (gebunden)
von Andrew M. Pitts
Communications and Power: Propaganda and the Press in the Indian National Struggle, 1920 1947
Buch (gebunden)
von Milton Israel
Rippling: Meta-Level Guidance for Mathematical Reasoning
Buch (gebunden)
von Alan Bundy, Davi…
Term Rewriting Systems
Buch (gebunden)
von Terese, Jan Will…
vor
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.