Items related to Free Choice Petri Nets (Cambridge Tracts in Theoretical...
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science, Series Number 40) - Hardcover
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.
"synopsis" may belong to another edition of this title.
Review:
"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
Book Description:
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems. 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.
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date1995
- ISBN 10 0521465192
- ISBN 13 9780521465199
- BindingHardcover
- Number of pages252
Top Search Results from the AbeBooks Marketplace
Stock Image
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science, Band 40)
Published by
Cambridge University Press
(1995)
ISBN 10: 0521465192
ISBN 13: 9780521465199
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Seller Inventory # M00521465192-G
Buy Used
£ 31.70
Convert currency