Cambridge Tracts in Theoretical Computer Science No. 40. Cambridge University Press, 1995.
Abstract: 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 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 organized, 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 organized along the lines of a course, and each chapter contains numerous exercises, making this book ideal for graduate students and research workers alike.
Back to the Petri Nets Bibliography