The Research Of Integrating UML Model And Petri Net Model Conversion Method

In this paper, we present our approach of integrating UML and Petri nets for system modeling and analysis. We begin with a system modeling by utilizing UML use case diagrams to model system requirements and derive sequencc,class,activity and statechart diagrams from the use case diagrams. We then transform the sequence,class,activity and statechart diagrams into time Petri nets, Coloured Petri nets,classical Petri nets and hierarchical Coloured Petri nets respectively.For system analysis, we utilize many well-know Petri nets method for analyzing system properties, such as reachability, conservativeness,liveness etc and temporal properties,such as eventually,henceforth,until etc. Once some of the properties of petri nets can not be met, we address these issues directly modify UML models and then converted to the corresponding Petri net analysis, repeat this iterative change until the nature of our needs so far.