Arithmetic Petri Net Simulation(APNS).jar

【文件属性】：
文件名称：Arithmetic Petri Net Simulation(APNS).jar
文件大小：29KB
文件格式：JAR
更新时间：2020-05-05 11:06:44
插件 APNS 此为论文中插件可运行Jar包。由于计算模型大多仅有理论证明，且如幂次方计算模型的动态性，一般仿真软件不可对其证明。文章在此开发出一个对算术计算Petri网模型的正确性、可行性进行编程化验证分析的插件。