Description: This book offers 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.
Review Quotes:
"This book chooses the most important, most original, most successful and most basic concepts and presents them comprehensively. ... I wish this book a wide distribution and a long usage." [Carl Adam Petri, 2010 (German-language edition)]
"This is a wonderful book, on a truly important and central topic, and written by the best person possible. Petri nets constitute one of the very few fundamental formalisms that deal with concurrency, reactivity and communication. They are clean and elegant, useful in practice, and are backed by deep and exciting mathematical underpinnings. The book, which is poised to become the Bible of Petri nets, deals with all aspects of the formalism. It is written eloquently, and with great talent and careful planning. It will appeal to computer scientists researching all manners of programming and research on reactive systems, as well as to the software and systems engineers who actually build those systems. Wolfgang Reisig s close relationship with the late Carl Petri himself, and his obvious love of the subject, not to mention the central role he himself plays in Petri net research, emerge impressively from the pages. Inventors of other languages or methods can only hope for someone like him to produce such an excellent account, both broad and deep."[David Harel, Weizmann Institute of Science]
"This book, authored by one of the most respected experts in Petri Nets, is one of the most comprehensive treatments of the topic I have seen. This excellent book provides an invaluable guide to all interested in Petri Nets and captures the reader with plenty of examples, different reading paths through the book to follow the topic, as well as its elegant writing style. I highly recommend this book." [Schahram Dustdar, Vienna University of Technology]
"Half a century ago Carl Adam Petri's thesis appeared, and a new wonderful theory was born: Petri nets. This book digests 50 years of science and engineering, and research and applica