Mapping UML Diagrams to a Petri Net Notation for System Simulation

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.

• Type: Conference
• Year: 2004
• Where: SEKE
• Authors: Zhaoxia Hu, Sol M. Shatz
• Keywords: Petri Net Notations, SEKE 2004, Self-defined Trace Files, UML Statecharts