Authors: FELDER M GARGANTINI A MORZENTI A

Citation: M. Felder et al., A THEORY OF IMPLEMENTATION AND REFINEMENT IN TIMED PETRI NETS, Theoretical computer science, 202(1-2), 1998, pp. 127-161