-
题名公平性分类及其分析
- 1
-
-
作者
贾国平
郑国梁
-
机构
南京大学计算机科学系
-
出处
《计算机工程与科学》
CSCD
1996年第2期29-33,共5页
-
文摘
本文对不同通信及协调机制的程序设计语言的公平性问题进行了讨论。本文的讨论基于一般的转换系统模型，此模型为我们统一地处理不同机制的语言提供了一个基础。文中给出了三类公平性概念：弱公平性、进程公平性和强公平性。我们进一步对每一类公平性进行了分析，特别，我们对它们的实现及它们对程序验证的影响进行了讨论。文中最后，我们得到结论：不同通信及协调机制需要不同的公平性假设。为了便于实现以及得到更一般的结论，我们应该尽可能使用较弱的公平性假设。
-
关键词
公平性
弱公平性
进程公平性
强公平性
程序语言
-
Keywords
fairness
transition system model
weak fairness
process fairness
strong fairness
program verification.
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名Petri网弱公平性和公平性关系的进一步研究
- 2
-
-
作者
施洲琪
丁志军
陈闳中
-
机构
同济大学计算机科学与技术系
-
出处
《计算机科学》
CSCD
北大核心
2014年第7期49-51,共3页
-
基金
国家自然科学基金(61173042)
上海市"曙光计划"(10SG23)
+1 种基金
上海市青年科技启明星跟踪计划(12QH1402300)
铁道部科技研究开发计划(2012X014-E)资助
-
文摘
在Petri网中,公平性概念的引入是为了讨论网系统中两个变迁发生之间的相互关系。这种关系可以很好地反映出模拟系统的各个事件在资源竞争中的有无饥饿性问题。文中基于弱公平性和公平性的定义与联系,证明了对于有界Petri网,满足弱公平性就满足公平性;同时证明了在两类无界Petri网中,可由弱公平性推导出公平性。并进一步证明其他类型的无界Petri网是不满足公平性的,即无法从弱公平性直接推导出公平性。
-
关键词
PETRI网
弱公平性
公平性
有界性
-
Keywords
Petri net, Weak fairness, Fairness, Boundedness
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名Petri网系统的弱公平性判定
- 3
-
-
作者
岳昊
-
机构
漳州师范学院计算机科学与工程系
-
出处
《漳州师范学院学报（自然科学版）》
2010年第3期27-31,共5页
-
基金
国家自然科学基金资助项目(60673053)
福建省教育厅资助科技项目(JK2010037)
漳州师范学院博士科研启动基金资助项目
-
文摘
本文首先给出了一个Petri网系统的有效可重复向量的两个性质.随后,又给出了用有效可重复向量判断Petri网系统弱公平性相关问题的一个充分必要条件.在一个Petri网系统中,任意的两个变迁ti,tj,则tj弱公平依赖于ti,当且仅当不存在这样的有效可重复向量X,使得X(j)>0且X(i)=0.最后,用一个实例展示结论的应用过程.
-
关键词
PETRI网
弱公平性
可重复向量
-
Keywords
Petri net
weak fairness
repetitive vector
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名带抑制弧Petri网的保性变换
被引量：2
- 4
-
-
作者
莫礼平
乐晓波
周恺卿
张兆海
-
机构
吉首大学信息科学与工程学院
长沙理工大学计算机与通信工程学院
马来西亚理工大学计算机科学与信息系统系
中国招商银行株洲支行
-
出处
《计算机应用》
CSCD
北大核心
2012年第11期3071-3074,共4页
-
基金
湖南省教育厅青年项目(10B088)
-
文摘
Petri网的保性化简是Petri网分析的一种重要途径。带抑制弧的增广Petri网在计算能力上与图灵机等价。针对带抑制的增广Petri网中串联变迁和串联库所两类情况进行了较深入的分析,在给出了相关化简方法的基础上,证明了通过这些化简规则所得到的网系统与原网在活性、有界性、弱公平性等动态性质上仍保持一致。
-
关键词
带抑制弧的Petri网
保性变换
活性
有界性
(弱)公平性
-
Keywords
Petri net with inhibitor arcs
property preserving operation
aliveness
boundedness
（weak） fairness
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
TP301.2
[自动化与计算机技术—计算机科学与技术]
-
