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

Petri nets are widely used in modeling, analysis, and control of discrete event systems arising from manufacturing, transportation, computer and communication n

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

Air traffic controllers need advanced information and automated systems to provide a safe environment for everyone traveling by plane. One of the primary challe

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