一种Petri网层次模型建模工具的设计与实现

摘要

为解决使用Petri网建模遇到的状态空间爆炸问题,提出使用层次模型,采用分层细化逐步求精的方法建立Petri网分层模型.设计并实现基于图形用户界面的普通边界为1的Petri网分层建模工具软件.用户在交互方式下建立Petri网层次模型,并可修改、删除、存储、分层平面化、简单功能模拟、导入和导出可复用Petri子网和将模型翻译为预定义的模型描述语言源程序.