Differential Petri nets: representing continuous systems in a discrete-event world | IEEE Journals & Magazine | IEEE Xplore