第10次全国Petri网学术年会暨形式化方法学术讨论会 征文通知
出处
《软件学报》
EI
CSCD
北大核心
2005年第1期76-76,共1页
Journal of Software
-
1第10次全国Petri网学术年会暨形式化方法学术讨论会征文通知[J].软件学报,2004,15(12):1763-1763.
-
2第十次全国Petri网学术年会暨形式化方法学术讨论会征文通知[J].计算机学报,2005,28(1):8-8.
-
3第10次全国Petri网学术年会暨形式化方法学术讨论会征文通知[J].软件学报,2005,16(3):399-399.
-
4第十次全国Petri网学术年会暨形式化方法学术讨论会征文通知[J].模式识别与人工智能,2004,17(4):445-445.
-
5第十二届全国Petri网理论与应用学术年会征文通知[J].系统仿真学报,2008,20(24):6871-6871.
-
6郑红军,张乃孝.软件开发中的形式化方法[J].计算机科学,1997,24(6):90-96. 被引量:22
-
7王志坚.Petri网应用研究[J].科技资讯,2006,4(19):87-88.
-
8丁彩红,黄文虎,姜兴谓.Petri网用于故障诊断[J].计算机工程与设计,2000,21(1):22-24. 被引量:15
-
9关英春,何京翔.Petri网在软件工程中的应用技术[J].新浪潮,1989(5):1-6.
-
10黄革新,潘开灵.基于Petri网的知识表示[J].武汉冶金科技大学学报,1997,20(1):104-107. 被引量:1