Definitions and applications of deterministic-timed Petri nets (DTPN)