Timing constraint Petri nets (TCPNs) can be used to model a real-time system specification and to verify the timing beha......