Free Choice Petri Nets

Jörg Desel author Javier Esparza author

Format:Paperback

Publisher:Cambridge University Press

Published:8th Sep '05

Currently unavailable, and unfortunately no date known when it will be back

Free Choice Petri Nets cover

Petri nets are a model for the analysis of concurrent systems.

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.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.

ISBN: 9780521019453

Dimensions: 245mm x 170mm x 13mm

Weight: 414g

256 pages