dense-time Petri nets