摘要
为便捷证明算术计算Petri网模型的计算能力,分析其具体计算过程.结合面向对象编程语言Java开发插件Arithmetic Petri Net Simulation(APNS),对网中的库所、变迁、弧元素进行实例化,重写Fire方法生成自定义格式的模型运行日志;利用轻量级控件Swing实现交互界面,在模拟运行时对可触发变迁的发生进行选择,利于模型计算过程是否唯一的分析;提出(A+B)*(C-D)与A*B-C*D两个计算模型.实验对幂次方运算、(A+B)*(A-B)以及A^2-B^2模型进行模拟,对插件的可交互性、模型的可行性、幂次方模型运算过程的唯一性以及(A+B)*(A-B)与A^2-B^2模型的等价进行了分析与证明.
出处
《赤峰学院学报（自然科学版）》
2020年第8期21-24,共4页
Journal of Chifeng University(Natural Science Edition)
基金
国家自然科学基金项目(61402011,61572035)
安徽省自然科学基金项目(1508085MF111,1608085QF149)
安徽理工大学研究生创新基金项目(2019CX2068)。
