首页
期刊简介
期刊介绍
影响因子
获奖情况
收录情况
编辑部简介
编委会
征稿征订
征稿简则
征订说明
联系我们
English
UML图转有色Petri网图文法
吴海, 孙永雄, 付庆兴, 徐佳琪
Mapping UML Diagram to Colored Petri Net for Analysis and Verifcation
TUN Hai, SUN Yong-Xiong, FU Qiang-Xin, XU Jia-Qi
吉林大学学报(信息科学版) . 2011, (
4
): 356 -364 .