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

来源 :第十四届全国Petri 网理论与应用学术年会 | 被引量 : 0次 | 上传用户：zj280078064

【摘要】

：

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

【作者】

：

施洲琪丁志军陈闳中

【机构】

：

同济大学计算机科学与技术系上海 200092

【出处】

：

第十四届全国Petri 网理论与应用学术年会

【发表日期】

：

2013年6期

【关键词】

：

Petri网弱公平性公平性模拟系统无饥饿性

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

R-广义模糊子格的理想

给出了R-广义模糊子格的理想的定义并对其进行了研究。证明了当R（x，y）对变量y递减时，有限个R-广义模糊子格的理想的交（并）仍是R-广义模糊子格的理想，R-广义模糊子格的理想的同态像（原

期刊

子格R-广义模糊子格蕴涵算子理想SublatticeR-generalized fuzzy sublattice Implication opera

基于多探寻局部敏感哈希和单词映射链投票的图像检索方法

为解决基于欧氏局部敏感哈希(E2LSH)的视觉词典法存在的内存消耗大、在图像背景明显变化时检索精度不高及增大数据库规模导致检索效率降低的问题,在采用多探寻LSH对特征点进行聚类的基础上提出的基于嵌入汉明码的单词映射链投票的图像检索方法。该方法首先采用多单词映射和软量化思想构造单表视觉词典,缩小词典规模以降低内存消耗;然后通过嵌入汉明码生成单词映射链,并提出一种权重赋予函数来增加检索精度;最后对匹配

期刊

图像检索多探寻局部敏感哈希嵌入汉明码单词映射链视觉词典Image retrievalMulti-probe locality sensitive h

分布式星群下虚拟MIMO相关信道容量分析

为研究分布式星群构建的虚拟MIMO的相关信道容量,建立了相关信道下的MIMO信道容量模型,提出从相关矩阵特征值分解和建立指数参数模型两方面分别分析虚拟MIMO在相关信道下的信

期刊

分布式星群虚拟MIMO信道容量相关性Disputed satellites clusterVirtual MIMOChannel capacity

低时延-消耗的CORDIC算法及结构的研究

CORDIC算法因便于通过硬件实现来计算各种超越函数而得到了广泛的应用.如何减少迭代次数并保持校正因子的计算与补偿的简单性是算法的难点,同时算法还需要扩展角度的范围.将常规的CORDIC算法分为前后两段,减少了迭代的次数,同时在硬件实现时使用移位操作代替查找表,减少了查找表所用的时间,这样做也有利于降低功耗.最后在Altera公司的Cyclone系列芯片EP4CGX22CF19C6上实现了该算法.

期刊

坐标旋转数字算法迭代次数运算速度低功耗性能

一种基于游程长度的高安全性图像信息隐藏算法

针对目前多数信息隐藏算法的安全性不高使其无法应用于隐蔽通信等领域的问题,提出了一种基于游程长度的隐藏算法,算法的基本思想是将图像分解成多个二值图像,通过对分解后的

期刊

信息隐藏游程长度嵌入容量不可感知性安全性Information hiding Run-length Embedding capacity Imp

无线传感网中基于成对节点探测不确定性的目标容错跟踪方法

针对无线传感器网络（Wireless Sensor Networks，WSN）中的节点在真实环境中的不可靠感知现象及其对目标跟踪精度的影响，首先分析计算了成对传感器节点感知存在的不确定区域及其边

期刊

目标跟踪不可靠感知不确定区域无线传感器网络Target-trackingUnreliable sensing Uncertain area Wir

基于SIP的无线网络移动性管理研究与OPNET仿真

针对移动性管理的问题，简要介绍了SIP的特点以及它对终端移动性的支持。详细讨论了如何利用OPNET建立SIP切换流程模型，通过仿真结果分析验证了SIP对移动性的支持能力。

期刊

SIP移动性管理切换OPNETSIP Mobility management Handoff OPNET

混洗交换网络中最小无冲突路由分组的生成方法

为了解决混洗交换网络中冲突路由的分组问题，定义了路由的无冲突极大组、最小无冲突分组、特征函数及覆盖函数等概念，并基于这些概念提出了应用布尔代数计算最小无冲突分组的理

期刊

混洗交换网络无冲突极大组最小无冲突分组特征函数覆盖函数Shuffle-exchange network Maximal no conflict ro

基于新型局域世界的无线传感器网络模型研究

现有的无线传感器网络模型较少考虑能量异构和负载均衡问题,并且对模型的评价方法有限。提出了基于新型局域世界的无线传感器网络模型,充分考虑能量异构、节点局域性以及加入

期刊

无线传感器网络局域世界能量感知负载调整度分布

一种高效的基于属性的认证密钥协商协议

提出了一种新的基于密文策略的属性加密方案,其访问结构采用线性秘密共享矩阵（LSSS）,可以描述任意访问结构;解密过程仅需要3个双线性运算,解密计算复杂度与属性集合大小无关,具

期刊

属性加密密文策略密钥协商NAXOSAttribute-based encryption Ciphertext-policy Key agreemen

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

与本文相关的学术论文