首页> 中文会议>第十四届全国Petri 网理论与应用学术年会 >Petri网弱公平性和公平性关系的进一步研究

Petri网弱公平性和公平性关系的进一步研究

摘要

在Petri网中,公平性概念的引入是为了讨论网系统中两个变迁发生之间的相互关系.这种关系可以很好的反映出模拟系统的各个事件在资源竞争中的有无饥饿性问题.本文基于弱公平性和公平性的定义与联系,证明了对于有界Petri网,满足弱公平性就满足公平性;同时证明了在两类无界Petri网中,可由弱公平性推导出公平性.并进一步证明其他类型的无界Petri网是不满足公平性的,即无法从弱公平性直接推导出公平性.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号