
Free Choice Petri Nets
Cambridge University Press
Published on 12. January 1995
Book
Hardback
252 pages
978-0-521-46519-9 (ISBN)
Article exhausted; check for reprint
Description
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.
More details
Series
Language
English
Place of publication
Cambridge
United Kingdom
Target group
Professional and scholarly
Illustrations
Worked examples or Exercises; 64 Line drawings, unspecified
Dimensions
Height: 255 mm
Width: 178 mm
Thickness: 17 mm
Weight
629 gr
ISBN-13
978-0-521-46519-9 (9780521465199)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
New editions

Jorg Desel | Javier Esparza
Free Choice Petri Nets
Book
09/2005
Cambridge University Press
€55.50
Shipment within 15-20 days
Additional editions

Jorg Desel | Javier Esparza
Free Choice Petri Nets
Book
09/2005
Cambridge University Press
€55.50
Shipment within 15-20 days
Persons
Content
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.