Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either b

This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algori

World renowned leaders in the field provide an accessible introduction to the use of Generalized Stochastic Petri Nets (GSPNs) for the performance analysis of d

Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional ch