Abstract: Petri nets have been extensively applied for specification, design, verification, performance evaluation, and simulation of discrete-event control systems. A real-time Petri net is a further ...