一般性问题
-
1李菲.基于着色Petri网的TCP协议的形式化描述及验证[J].现代计算机,2009,15(6):49-52.
-
2王晓媛,左风朝.基本数据链路层协议的Petri网模型分析与优化[J].中国科技信息,2005(23A):63-63.
-
3胡家宝.Petri网的可达树分析法及其应用研究[J].计算机科学,1993,20(1):29-32. 被引量：2
-
4王琦.JU推进Galileo系统进展[J].导航与雷达动态,2002(5):42-44.
-
5曾成碧,陈光.可达树分析法及其在测试中的应用[J].电子科技大学学报,1999,28(5):524-526. 被引量：7
-
6赵建立,闻英友,赵林亮,王光兴.多元化网络管理协议的Petri网验证及其性能测试[J].计算机科学,2004,31(10):53-56.
-
7电气测量技术及仪器[J].中国无线电电子学文摘,1999(3):137-140.
-
8詹惠琴,古天祥.IEEE488总线握手协议的Petri网建模和分析[J].电子测量与仪器学报,2005,19(2):66-70. 被引量：1
-
9邓莹,古天龙.基于Petri网的协议分析技术及工具[J].桂林电子工业学院学报,2002,22(1):6-11. 被引量：4
-
10基本电子电路[J].中国无线电电子学文摘,2000(6):56-68.
;
