| 一种Petri网层次模型建模工具的设计与实现 |
| |
| 引用本文： | 潘熙坤,Li Tong,柳青. 一种Petri网层次模型建模工具的设计与实现[J]. 计算机应用与软件, 2008, 25(8) |
| |
| 作者姓名： | 潘熙坤 Li Tong 柳青 |
| |
| 作者单位： | 云南大学信息学院计算机科学与技术系,云南,昆明,650091;云南大学信息学院计算机科学与技术系,云南,昆明,650091;云南大学信息学院计算机科学与技术系,云南,昆明,650091 |
| |
| 摘 要： | 为解决使用Petri网建模遇到的状态空间爆炸问题,提出使用层次模型,采用分层细化逐步求精的方法建立Petri网分层模型.设计并实现基于图形用户界面的普通边界为1的Petri网分层建模工具软件.用户在交互方式下建立Petri网层次模型,并可修改、删除、存储、分层平面化、简单功能模拟、导入和导出可复用Petri子网和将模型翻译为预定义的模型描述语言源程序.
|
| 关 键 词： | Petri网 分层模型 可视化建模工具 模型调试 |
A HIERARCHICAL MODEL OF PETRI NET AND A MODELING TOOL FOR ITS DESIGN |
| |
| Pan Xikun,Li Tong,Lui Qing. A HIERARCHICAL MODEL OF PETRI NET AND A MODELING TOOL FOR ITS DESIGN[J]. Computer Applications and Software, 2008, 25(8) |
| |
| Authors: | Pan Xikun Li Tong Lui Qing |
| |
| Affiliation: | Pan Xikun Li Tong Lui Qing(Department of Computer Science , Engineering,College of Information,Yunnan University,Kunming 650091,Yunnan,China) |
| |
| Abstract: | 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 ... |
| |
| Keywords: | Petri net Hierarchical model Visual modeling tool Model debugging |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
