检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]山东科技大学信息科学与工程学院,泰安271019
出 处:《山东科技大学学报(自然科学版)》2001年第1期4-9,12,共7页Journal of Shandong University of Science and Technology(Natural Science)
摘 要:Petri网中的弱公平但不公平的关系称为亚公平公系 ,由此可引伸出亚公平Petri网和亚公平网等概念。本文证明了一个重要性质 :亚公平Petri网中一定存在着公平关系 ,并在此基础上讨论了亚公平网中的公平分支划分。此外 。A relation that is weak fair but not fair in a Petri net is called meta fair relation.Concepts of meta fair Petri net and meta fair net can also be obtained.An important property that there must be exist fair relation in a Petri net if it is meta fair is presented in this paper.According to this,partition of fair components for a meta fair net is discussed.Moreover,the necessary and sufficient condition for a net to be meta fair is simplified based on the primitively repetitive vector set of the net.
关 键 词:PETRI网 公平性 亚公平关系 亚公平网 公平分支 可重复向量 弱公平网
分 类 号:TP393.01[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117