此为论文中插件可运行Jar包。由于计算模型大多仅有理论证明,且如幂次方计算模型的动态性,一般仿真软件不可对其证明。文章在此开发出一个对算术计算Petri网模型的正确性、可行性进行编程化验证分析的插件。