Transformation from Activity Diagrams with Time Properties to Timed Coloured Petri Nets.

Published in: COMPSAC (2014)

Keyphrases