Modeling UML State Diagrams Based on Extended ITCPN

By introducing guard functions and data operating functions based on ITCPN (Interval Timed Colored Petri Nets), the modeling on data computing in a UML state diagram is established. Moreover, inhibitor arcs are used for modeling priorities among transitions. Meanwhile, with the advantage of inhibitor arcs, the modeling on the semantics of "or" between substates in a state diagram is also realized.