petri网分析工具对增广petri网模型的验证

下载PDF

导出

摘要 petri网分析工具支持增广petri网模型的建立、分析和验证。本文举例分析了用增广petri网描述的数学公式排列A m/n及幕指数n^m的分析和验证。

作者陈顺益刘晓辉

机构地区湖南省计算技术研究所

出处《计算技术与自动化》 1992年第1期14-19,25,共7页 Computing Technology and Automation

基金非教育系统出国留学人员科技活动经费资助项目

关键词 PETRI网增广模型 PETRI网

1许安国,赵义军.两个智力问题的增广Petri网模型[J].系统仿真学报,2003,15(z1):76-77. 被引量：1
2许安国,蒋昌俊.数制转换器的增广Petri网模型[J].计算技术与自动化,1992,11(1):7-13. 被引量：2
3许安国,蒋昌俊.计算A_n^m的增广PETRI网模型[J].计算技术与自动化,1991,10(1):13-20. 被引量：1
4崔焕庆,吴哲辉,韩丛英.MPI通信函数的增广Petri网模型[J].系统仿真学报,2003,15(z1):26-28. 被引量：6
5李莹莹,吴哲辉.栈结构的增广Petri网模型[J].系统仿真学报,2007,19(A01):124-128.
6许安国,赵义军.利用Petri网方法求解二次同余式:ax2+bx+c≡0(modp, p≥3,素数)[J].系统仿真学报,2005,17(z1):216-218.

计算技术与自动化

1992年第1期

浏览历史

内容加载中请稍等...