ABSTRACT
Since their introduction in Ref. 19, Time Petri nets (TPNs for short) have been widely used for the specification and verification of systems in which satisfiability of time constraints is essential like communication protocols [3,20], hardware components [27], or real-time systems [12,29,32].
