Petri nets can be used to build an executable model of software system, to support the simulation of model, to ensure the accuracy and reliability of software system. This paper brings forward the transformation rules from Unified Modeling Language (UML) statechart to colored Petri nets, presents mapping of the statechart and colored Petri nets according to transformation rules, builds an automatic transform platform, implements the automatic conversion from statechart to colored Petri nets and uses Point to Point Protocol (PPP) to verify the feasibility of the transformation method.
展开▼