Petri网中亚公平关系与亚公平网

Petri网中的弱公平但不公平的关系称为亚公平公系 ,由此可引伸出亚公平Petri网和亚公平网等概念。本文证明了一个重要性质 :亚公平Petri网中一定存在着公平关系 ,并在此基础上讨论了亚公平网中的公平分支划分。此外 。

P/T_网中的同步距离

同步距离既可以对两组事件之间同步程度进行定量分析,也可以刻画系统动态行为,然而Petri中同步距离计算一直存在难题。采用加权观察库所的原理讨论了P/T_网中任意两个变迁子集之间同步距离的计算,并通过本原权函数的定义指出了如何给连接变迁和加权观察库所之间的弧配置一个唯一的权值。为了得到处于同一个公平分支变迁子集之间的同步距离值,需构造一个带权同步观察P/T_系统,通过模拟原网系统的可覆盖树得到带权观察库所的最大和最小tokens,从而求得变迁子集之间的同步距离值,并给出相应算法,给出了求解P/T_网中任意两个变迁子集之间同步距离计算算法。

准许树博弈的权重准许分支公平和准许树限制核

准许树结构是对具有等级划分的组织结构的抽象.例如公司或团体的成员结构,只有上级准许的情况下下级成员才能执行某些活动.此外,在同一组织中下级成员间的合作往往多于竞争,但这种合作必须得到上级成员的许可才能进行.本文研究了具有准许树结构的博弈(即准许树博弈)的解.首先提出了权重准许分支公平公理,并由此得到了一个与权重系统相关的解,即权重准许值.其次,利用有效性,非本质元性质和权重准许分支公平这三个公理,对给定权重系统解的唯一性进行了完全刻画.最后,证明了当准许树博弈满足锥模性质时由权重系统集确定的解集与它的准许树限制核是等价的.