Umfang:
1 Online-Ressource (viii, 244 pages)
,
digital, PDF file(s)
ISBN:
9780511526558
Serie:
Cambridge tracts in theoretical computer science 40
Inhalt:
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
Inhalt:
Introduction -- Analysis techniques for Petri nets -- S-systems and T-systems -- Liveness in free-choice systems -- The coverability theorems -- The rank theorem -- Reduction and synthesis -- Home markings -- Reachability and shortest sequences -- Generalizations
Anmerkung:
Title from publisher's bibliographic system (viewed on 05 Oct 2015)
Weitere Ausg.:
ISBN 9780521465199
Weitere Ausg.:
ISBN 9780521019453
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe ISBN 9780521465199
Sprache:
Englisch
DOI:
10.1017/CBO9780511526558
Bookmarklink