Mapping UML Diagrams to a Petri Net Notation for System Simulation.

Abstract

UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified using UML diagrams to colored Petri net notations. Simulation results are provided in form of self-defined trace files and Message Sequence Charts. A prototype tool is described. One unique feature of our research is the support for user-controlled view of the system simulation.