Jorg Desel: Free Choice Petri Nets

Cover: 9780521019453 | Free Choice Petri Nets | Jorg Desel (u. a.) | Taschenbuch | Englisch

Rückseite: 9780521019453 | Free Choice Petri Nets | Jorg Desel (u. a.) | Taschenbuch | Englisch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

52,80 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

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.

Details

Erscheinungsjahr:	2005
Fachbereich:	Arithmetik & Algebra
Genre:	Importe , Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9780521019453
ISBN-10:	0521019451
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Desel, Jorg Esparza, Javier
Redaktion:	Rijsbergen, C. J. van
Hersteller:	Cambridge University Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	244 x 170 x 14 mm
Von/Mit:	Jorg Desel (u. a.)
Erscheinungsdatum:	08.09.2005
Gewicht:	0,448 kg