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

Supervisory Control of Discrete Event Systems Using Petri Nets presents a novel approach to its subject. The concepts of supervisory control and discrete event