-
题名Petri网的公平性及分析
被引量:6
- 1
-
-
作者
韩江洪
方华
刘小平
-
机构
合肥工业大学计算机与信息学院
合肥工业大学电气与自动化工程学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2012年第3期521-535,共15页
-
基金
国家自然科学基金(60873003)
-
文摘
公平性是反映了在资源竞争时Petri网模型系统中行为的无饥饿性。公平关系分为三个层次,即公平关系、弱公平关系和广义公平关系,并衍生出亚公平关系和准公平关系;对应的系统网模型包括公平网、弱公平网,亚公平网等。同时相对公平网严格要求,系统的Petri网模型存在分组公平和局部公平,反映了网系统局部行为的公平关系。在Petri网模型简化和子网合成时的公平性保性,反映简化和合成后资源共享的保持特性。综述了以上公平性及判定方法,介绍公平性在系统中的应用,并给出公平性的细化定义和同步距离的关系,展望了Petri网公平性在连续系统与离散事件系统中的未来研究方向和应用难点,对公平关系今后的研究具有一定的指导意义。
-
关键词
公平性
公平网
公平保性
同步距离
-
Keywords
fairness
fair net
fairness preserving
synchronic distance
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-