With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and

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 were introduced and still successfully used to analyze and model discrete event systems especially in engineering and computer sciences such as in au

Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event