With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique for computer science-based systems. This book is a clear, thorough introduction to Petri nets. The explanations are supported throughout with fully integrated graphical illustrations, with only the analysis and verification presented in a formal manner. The author clearly explains the core of each related topic, leaving the reader to explore other sources for further details. The book will be suitable for students of computer science and related subjects. The book includes exercises and the solutions are available online.