Research on Mapping UML Activity Diagram to Time Petri-Net
GU Wei, HUANG Zhi-Qiu, LI Jian
. 2012, (2): 105 .