Free Choice Petri Nets
Free Choice Petri Nets by Jorg Desel, published by Cambridge University Press on September 8, 2005, is a comprehensive exploration of a specific class of Petri nets that are essential in the theory of concurrent systems. This edition spans 256 pages and is presented in English. The book provides a structured approach to understanding free choice Petri nets, detailing their significance in both academic and industrial contexts.
Readers will find a well-organized text that thoroughly explains key concepts such as place invariants, siphons, and traps, along with various important analysis techniques. Designed as a course book, it includes numerous exercises in each chapter, making it suitable for graduate students and research workers interested in discrete mathematics and distributed systems. The clear exposition throughout the book ensures that complex ideas are accessible, supporting both learning and practical application.
Official synopsis Publisher
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.
Publisher
Topics
FAQ
What is “Free Choice Petri Nets” about?
Who is the author of “Free Choice Petri Nets”?
When was “Free Choice Petri Nets” published?
What is the ISBN for “Free Choice Petri Nets”?
What are the book details (language, pages, edition)?
