四川省应用基础研究计划项目(03226125)
- 作品数：13 被引量：17H指数：2
- 相关作者：宋文叶剑虹孟永刚伊良忠牟行军更多>>
- 相关机构：西华大学电子科技大学北京邮电大学更多>>
- 发文基金：四川省应用基础研究计划项目国家自然科学基金高等学校学科创新引智计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 发送-接收问题的Petri网建模与验证被引量：1
- 2007年
- 发送者-接收者(S-R)问题可以看作处理共享通道的一个有代表性的问题。通过对文献[1]中模型的分析,结合Petri网的特点和网络环境下的系统,给出了一个实用性更强、功能扩展的Petri网模型。该模型允许外部环境加以控制,允许接收者强制取消接收以及发送者(接收者)按定量模式工作,可解决远程控制、流量控制,提高在实际网络环境中的通信质量。建立与Petri网模型相关联的关联矩阵,并使用关联矩阵对模型进行了验证。
- 唐明伟宋文叶剑虹
- 关键词：PETRI网
- 基于Petri网的混惑检测被引量：3
- 2008年
- 在Petri网中,并发和冲突是两个重要的概念,并发和冲突现象混淆的系统特征称之为混惑,当系统存在混惑时获取一个正确的执行以及分析系统性质较为困难,因而存在混惑的系统不是一个好的模型.网论认为并不是并发和冲突相结合带来了麻烦,而是它们相结合导致的混惑带来了麻烦.所以,对一般Petri网模型混惑的检测及可能影响混惑的子网结构研究显得非常必要.在基本网系统下,以混惑的定义为基础,提出了结构混惑的定义,在此基础上定义了3类基本结构混惑,证明了这3类可构成结构混惑的最小完全集,给出检测结构混惑的算法和混惑的检测方法,并将该算法和方法应用到工作流网中,以实例定性分析了结构混惑与混惑的区别和联系以及对合理性的影响.
- 赵明峰宋文杨义先
- 关键词：PETRI网工作流网
- 新扩展强化非对称选择网的活性被引量：1
- 2004年
- 利用Petri网结构理论与对偶性,在非对称选择网(AC)中找到了一个子类:新扩展强化非对称选择网(NESAC).它包含了强化非对称选择网(SAC)与扩展强化非对称选择网(ESAC)对称.给出了NESAC网结构活判定的充分必要条件以及它们的证明.
- 宋文伊良忠严兵
- 关键词：非对称选择网子类PETRI网SAC对偶性
- Petri网的活性与安全性的理论研究被引量：1
- 2006年
- 针对Petri网的子类的活性和安全性,对AC网的子类,扩展的强化非对称选择网(ESAC)进行了再一次扩张,定义了新扩展的强化非对称选择网(NESAC)。通过对NESAC的活性与安全性的讨论,得到了非对称选择网(AC)的一个大类的某些性质判定;进而讨论了AC网的活性和安全性,得到了一个有效的算法。该课题研究了网的合成的一些基本性质,从理论上讨论了AC网的活性特征。
- 牟行军宋文
- 关键词：PETRI网非对称选择网活性安全性
- 基于Petri网的工作流逻辑化简规则的矩阵表示被引量：8
- 2006年
- Petri网是一种很有效的模型描述语言,尤其适合描述工作流。给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证。
- 孟永刚宋文叶剑虹
- 关键词：PETRI网工作流化简规则
- 新扩展强化非对称选择网的有界性与单调性被引量：1
- 2004年
- 根据Petri网结构理论,讨论非对称选择网(AC)的一个子类:新扩展强化非对称选择网(NESAC)的有界性与活性单调性.判定NESAC网N结构有界的充分必要条件是,N被极小死锁簇覆盖,每个非空极小死锁H一定是个陷阱且满足t ∩H=t ∩H=1.NESAC网仍然具有ESAC活性单调性的特征.
- 宋文伊良忠牟行军
- 基于Petri网的发送-接收问题的建模与验证
- 2007年
- 通过对文献[1]中模型的分析,给出了一个实用性更强,功能扩展的发送者-接收者问题模型。通过允许外部环境加以控制,允许接收者强制取消接收、发送者(接收者)按定量模式工作,解决远程控制、流量控制等问题,最后对模型进行了验证。
- 唐明伟宋文胡节
- 关键词：PETRI网
- 结构活网极小标识的一个求解算法被引量：2
- 2006年
- 活性(Liveness)是Petri网的基本性质.从网的关联矩阵以及所定义变迁发生序列的结构,求解结构活网的极小标识,得到了一个多项式时间算法.
- 叶剑虹石建宋文
- 关键词：PETRI网关联矩阵环路
- 基于Petri网下的哲学家就餐问题的模拟与验证
- 2005年
- 哲学家就餐问题可以看作当应用程序中包含并发线程的执行时,处理共享资源合作的一个有代表性的问题,该问题是评价同步方法的一个测试标准.利用Petri 网的C/E系统来模拟哲学家就餐问题具有很好的实用背景,因为C/E系统下的条件事件集的发生可以用开关或者门电路来实现.通过采用C/E系统来完善哲学家就餐问题的模型,并给出一个可以允许外部条件来加以有选择控制的模型.
- 叶剑虹宋文孟永刚
- 关键词：PETRI网哲学家就餐问题
- 判定非对称选择网活性及活性单调性的一个算法被引量：1
- 2005年
- 活性是 Petri网的重要行为特征之一。为了得到判定 AC网活性有效的算法,本文利用分治的思想,在定义极小死锁的前、后归约子网的基础上,将较大问题分而治之,把未知问题转化为已知的FC网上的问题,从而得到了判定AC网活性及活性单调性的多项式时间的算法。
- 宋文陆维明
- 关键词：非对称选择网活性PETRI网
