Understanding Petri nets

More about the book

With their intuitive graphical approach, Petri nets are widely accepted for modeling in software design and control engineering. This book offers a clear introduction to the essentials of Petri nets, detailing core modeling techniques and analysis methods, supported by examples and case studies. Part I focuses on modeling with Petri nets, explaining concepts through examples, starting with a powerful and intuitive model. Part II discusses essential analysis methods specific to Petri nets, introducing techniques for formulating key properties and algorithms for validating system nets. Part III features case studies that present new concepts and analysis techniques for diverse modeling tasks. The author provides various paths through the content: an elementary strand for those studying basic nets, a modeling strand for readers focused on modeling without analysis, and a strand for technically simple yet challenging examples. The book maintains a strong balance of consistency, comprehensibility, and correctness, featuring reduced formal arguments in the main text with theoretical details in an appendix. Graphical illustrations enhance understanding, and each chapter concludes with exercises and further reading recommendations. It is suitable for computer science students and researchers across related fields.