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

作     者：郭胜基 齐大伟 林明 王生原 董渊 GUO Sheng-ji,QI Da-wei,LIN Ming,WANG Sheng-yuan,DONG Yuan(Department of Computer Science and Technology,Tsinghua University,Beijing 100084,China)

作者机构：清华大学计算机科学与技术系北京100084 

出 版 物：《系统仿真学报》 (Journal of System Simulation)

年 卷 期：2008年第20卷第S2期

页      面：63-68页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金(60573017 90818019) 国家高技术研究发展计划863(2008AA01Z102) 

主　　题：Petri网 元对象协议 Renew 银行家算法 

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