Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

SEKE
2004
Springer

favoriteEmaildiscussreport

179views Software Engineering» more SEKE 2004»

Mapping UML Diagrams to a Petri Net Notation for System Simulation

13 years 9 months ago

Mapping UML Diagrams to a Petri Net Notation for System Simulation

Download www.cs.uic.edu

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.

Zhaoxia Hu, Sol M. Shatz

Real-time Traffic

Petri Net Notations | SEKE 2004 | Self-defined Trace Files | UML Statecharts |

claim paper

Related Content

» A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transfo...

» ExampleBased Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search

» POSDa notation for presenting complex systems of processes

» Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Proto...

» Architecture as an Emergent Property of Requirements Integration

» An Empirical Performance Study for Validating a Performance Analysis Approach PSIM

» An Eclipse Framework for Rapid Development of Richfeatured GEF Editors based on EMF Models

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	SEKE
Authors	Zhaoxia Hu, Sol M. Shatz

Comments (0)