Transformation of UML 2.0 sequence diagram into Coloured Petri Nets

UML is populer tool for modeling a system., but this tool cannot be evaluated directly. On the other hand., Coloured Petri Nets (CPN) is a simulation tool which has rich features for analysis. The capability to analyze the UML diagrams is important to help evaluating a system design. In this paper., we propose a set of transformation rules to transform UML 2.0 sequence diagram into CPN. To show the implementation of the rules., we provide a case study of chocolate machine.