摘要
为解决使用Petri网建模遇到的状态空间爆炸问题,提出使用层次模型,采用分层细化逐步求精的方法建立Petri网分层模型。设计并实现基于图形用户界面的普通边界为1的Petri网分层建模工具软件。用户在交互方式下建立Petri网层次模型,并可修改、删除、存储、分层平面化、简单功能模拟、导入和导出可复用Petri子网和将模型翻译为预定义的模型描述语言源程序。
To overcome the problem of state-space explosion in petri net modeling, a new hierarchical model of Petri net is established by hierarchical and stepwise refinement approach. A hierarchical Petri net modeling tool is designed and implemented for normal Petri net which is bounded by 1. Users are able to build hierarchical model and do all the operations that are necessary for building, such as modification, deletion, saving,model fattener, simple function simulation. An interface is presented for saving and opening reusable Petri net components. The model is translated into resource program written by evolution process model description language defined in advance.
出处
《计算机应用与软件》
CSCD
北大核心
2008年第8期33-35,共3页
Computer Applications and Software
基金
国家自然科学基金项目(60463002)
