Trajectory tracking control of a timed event graph with specifications defined by a P-time event graph: On-line control and off-line preparation.