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

来源 :计算机应用与软件 | 被引量 : 0次 | 上传用户：speedwen

【摘要】

：

为解决使用Petri网建模遇到的状态空间爆炸问题,提出使用层次模型,采用分层细化逐步求精的方法建立Petri网分层模型.设计并实现基于图形用户界面的普通边界为1的Petri网分层

【作者】

：

潘熙坤 Li Tong 柳青

【机构】

：

云南大学信息学院计算机科学与技术系,云南,昆明,650091

【出处】

：

计算机应用与软件

【发表日期】

：

2008年8期

【关键词】

：

Petri网分层模型可视化建模工具模型调试

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

浙江省老年人监护现状及法律规制研究——以湖州市的调研为引

根据浙江省第六次全国人口普查数据显示，浙江省已成为中国老龄化程度最高的省份。老龄化对我省现行的社会制度和法律规范都提出了严峻的考验。我国的监护制度始于1987年施行的

学位

浙江省老年人监护制度法律规制

和谐之道重在沟通

信息沟通是组织生存和活动的基础,良好的沟通技能决定管理质量、组织绩效和员工的士气。正如已故著名日本企业家松下幸之助所说:“管理企业过去是沟通,现在是沟通,未来还是沟

期刊