Development of real-time system specifications through the refinement of duration interval Petri nets.

Daniel Gurovic, Wolfgang Fengler, Jrgen Ntzel

Browse the full SMC paper archive.