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

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

The aim of these series of volumes "Advances in Petri Nets" is to present to the general computer science community the most significant recent results with reg

Petri Nets were introduced and still successfully used to analyze and model discrete event systems especially in engineering and computer sciences such as in au

Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in