1 research outputs found

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

    No full text
    corecore