Definitions and applications of deterministic-timed Petri nets (DTPN) | IEEE Conference Publication | IEEE Xplore