Javier Esparza

Jorg Desel

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.

Free Choice Petri Nets

Petri nets are a popular and powerful model for analyzing and modeling concurrent systems, and a rich theory has developed around them. This book focuses on a particular class of Petri nets, free choice Petri nets, which plays a central role in the theory. The text is organized very clearly, with every notion carefully explained and every result proved. The authors give clear exposition of place invariants, siphons, traps and many other important analysis techniques. The book contains classical results of free-choice theory as well as more recent results. The material is organized along the lines of a course, and each chapter contains numerous exercises, making this text ideal for graduate students and research workers alike.

Jorg Desel

Books

Your next favorite book is out there