统一建模语言状态图的Petri网模型及其分析方法
郭峰
Petri nets model of unified modeling language statecharts
GUO Feng
. 2007, (07): 0 -0 .