论文部分内容阅读
为便捷证明算术计算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模型进行模拟,对插件的可