pntool公司

Petri网工具箱——MATLAB环境下的离散事件系统教学。开发了一个MATLAB工具箱来处理用Petri网建模的离散事件动态系统的基本问题。在Petri网工具箱中,可以使用五种容量有限或无限的Petri网(untimed、transition timed、place timed、randocial和generalized randocial)。用户友好的图形界面允许激活三种模拟模式(伴随或不伴随动画)并运行特定功能,这些功能涵盖了分析的关键主题,如覆盖性树、结构属性(包括不变量)、时间相关的性能指标、max plus状态空间表示法。基于参数化模型的设计程序也可用。Petri网工具箱结合了探索Petri网模型动态特性的工具,以及支持直观理解和指导用户进行软件开发的动画工具,对控制工程教育具有重要的辅助作用。