Timed Petri Nets

Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems.