Formal Transformation from Sequence Diagrams to Coloured Petri Nets.

Juliana Bowles, Dulani Apeksha Meedeniya

Browse the full APSEC paper archive.