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

Design and Implementation of a Meta Object Protocol for Colored Petri Net Based on Renew

作　　者：郭胜基[1] 齐大伟[1] 林明[1] 王生原[1] 董渊[1] 

机构地区：[1]清华大学计算机科学与技术系,北京100084

出　　处：《系统仿真学报》2008年第S2期63-68,共6页Journal of System Simulation

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

摘　　要：在Petri网模拟工具Renew的基础上,设计和实现了相应的元对象协议,从四个方面大大增加了Renew的建模能力:简化基级网模型;获取基级网运行信息;动态改变基级网结构以及控制基极网的运行。文章最后以银行家算法的建模作为例子,说明如何用元对象协议控制基极网的运行,以避免银行家算法中的核心问题:死锁,从而验证了元对象协议的强大功能。A MetaObject Protocol is designed and implemented for the Petri Net simulation tool Renew.This work immensely strengthen the simulation ability of Renew from four aspects:simplify the base level net model,gather information during the net simulation,change the base level net dynamically and control the process of simulation.Finally,as to verify the application of this work,we model the Banker's Rounding to show how to avoid dead lock using the MetaObject Protocol.

关 键 词：PETRI网 元对象协议 Renew 银行家算法 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]