一种基于Renew的有色网元对象协议的设计与实现

摘要：

在Petri网模拟工具Renew的基础上,设计和实现了相应的元对象协议,从四个方面大大增加了Renew的建模能力:简化基级网模型;获取基级网运行信息;动态改变基级网结构以及控制基极网的运行。文章最后以银行家算法的建模作为例子,说明如何用元对象协议控制基极网的运行,以避免银行家算法中的核心问题:死锁,从而验证了元对象协议的强大功能。

关键词： Petri网 元对象协议 银行家算法 基级网结构

作者: 郭胜基 齐大伟 林明 王生原 董渊

作者单位: 清华大学计算机科学与技术系,北京 100084

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 63-68

在线出版日期: 2009-08-22（万方平台首次上网日期，不代表论文的发表时间）