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

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

在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.