作者:郭胜基 齐大伟 林明 王生原 董渊petri网元对象协议renew银行家算法
摘要:在Petri网模拟工具Renew的基础上,设计和实现了相应的元对象协议,从四个方面大大增加了Renew的建模能力:简化基级网模型;获取基级网运行信息;动态改变基级网结构以及控制基极网的运行。文章最后以银行家算法的建模作为例子,说明如何用元对象协议控制基极网的运行,以避免银行家算法中的核心问题:死锁,从而验证了元对象协议的强大功能。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《系统仿真学报》(CN:11-3092/V)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
省级期刊
人气 238764 评论 36
北大期刊、统计源期刊
人气 193095 评论 73
人气 154363 评论 33
人气 152044 评论 53