基于Petri网的工作流建模及时间性能分析

为求得与实例到达率相关的工作流模型平均完成时间,对Petri网模型进行了扩展,定义了扩展时延Petri网,分析了工作流串联、并联、选择、循环4种基本模型,给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法。应用该方法对工作流4种基本模型的实例进行时间性能评价,并在Exspect环境进行了模拟测试。实验结果表明,在4种模型中最大相对误差在2%左右,从而证明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

用有色Petri网模型进行电力系统结线分析

提出了一种可用于电力系统结线分析的有色Petri网方法。该方法以元件和开关状态构造的有色Petri网为核心 ,用令牌的流动来确定电力系统结线分析的网络结线 ,变迁的发生将包含相同元件的结点连接在一起。通过对一个电力系统模型的分析 ,表明该方法的可行性及有效性     

变速连续Petri网的性质及运行分析

给出了一种变速连续Ｐｅｔｒｉ网的定义及主要性质，详细阐述了其运行算法。算法中主要考虑了对冲突的检测及处理。给出了一个示例，并通过仿真得到了其运行情况。     

Petri网的对偶运算及性质

给出了对偶Petri网的加法、笛卡尔积、并运算及有关性质 ,得到了对偶Petri网运算的一些结果     

对偶Petri网的运算及性能分析

给出了对偶Ｐｅｔｒｉ网的加法,笛卡尔积,并运算及有关性质,得到了对偶Ｐｅｔｒｉ网运算具有结构性质的条件     

煤矿综采工作面生产系统的Petri网分析方法

对煤矿综采工作面生产系统的可靠性用Petri网进行了分析，建立了系统的故障模型，在此基础上以煤矿综采工作面为例进行了建模，为综采工作面系统的可靠性分析提供了一种新的思路与方法。     

利用Petri网模拟基于属性的不确定性推理

本文主要介绍了如何使用Petri网来实现基于属性的不确定推理。并且在一般Petri网的基础上进行改进，分别使用了模糊Petri网和模糊着色Petri网来进行实现。并且用一个具体的例子显示了Petri网的运行过程。     

采用模糊Petri网的形式化推理算法及其应用

以模糊Petri网为工具，研究了多种约束条件下的人类知识和推理过程的表示方法．在此基础上，将模糊Petri网与矩阵运算相结合，给出了模糊推理过程的形式化推理算法．算法考虑了推理过程中的众多约束条件，包括命题在规则中的权重、变迁触发的阈值、规则的可信度以及多结论规则等，将复杂的推理过程采用矩阵运算实现，充分利用了模糊Petri网的并行处理能力，使模糊推理过程更加简单、快速和易于实现。     

基于Petri网的病毒攻击建模

针对威胁计算机网络安全的病毒攻击行为,建立了基于Petri网的病毒入侵网络基本模型,利用CPN tools仿真工具分析了模型的活性和各个库所的有界性,以利于采取有效的网络防御措施和建立安全的防御体系.利用安全策略域、域间通信信道的概念,根据病毒入侵传播的特性,建立了基于随机着色Petri网的企业网络模型,并给出了用该模型模拟与安全相关网络行为的方法.     

基于Petri网的Web服务组合分析方法

为提高Web服务组合的运行效率,提出了基于有色Petri网的Web服务组合网系统概念,用于Web服务组合的建模和性能分析.以电子资源跨库查询过程为实例,构建实例的理想模型和缓存限制模型.模型支持Web服务组合协调节点间的网络延迟、数据依赖、控制依赖等因素.基于CPN Tools仿真平台,验证了模型的正确性,并在仿真实验中监测了查询延迟、查询成功率、缓存占用率等指标.结果表明,实施缓存限制策略前后,分布式模型比集中式模型均有更好的性能.     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

基于Petri网的网约车系统建模优化

业务流程的建模是业务管理的核心内容之一,对业务流程进行建模优化分析尤为重要.Petri网可达性是进行Petri网业务系统分析研究的基础,主要分析系统可能达到的状态和状态间的关系.针对常用的网约车软件,给出业务流程Petri网模型,并结合实际情况以及流程模型之间的交互关系,用Petri的可达性对系统进行建模分析.同时,为了商家和乘客利益的最大化,通过增加相关的控制结构对模型进行优化.实例分析了该方法的有效性.     

服务跳变系统性能的随机Petri网评价

运用随机Petri网理论,给出服务跳变系统的性能评价模型,通过求解同构的连续状态马尔可夫链各状态稳定概率,推理影响服务跳变系统的平均时延和吞吐率等主要性能指标,分析了与同步时延、数据迁徙效率的关系,对于研究主动网络对抗应用的服务跳变系统性能具有理论意义.     

一种基于有色Petri网的知识库验证方法

以有色Petri网为基础,在经过了必要的功能扩充后,针对知识验证的主要内容,建立了有色Petri网的知识表示模型,提出了一种简洁有效的、基于有色Petri网的知识库验证方法,并给出了相应的判定准则,最后给出了一个说明知识表示模型和知识验证准则的实例。     

基于改进的网重写系统的Petri网逻辑控制器的自重构方法

提出一种基于改进的网重写系统的可重构制造系统的Petri网模型的自重构方法。通过改进,克服了网重写系统的若干固有缺陷,提出了Petri网逻辑控制器的自重构方法,这种方法能保证重构中逻辑控制器的正确性,避免复杂的数学分析验证。通过可重构制造单元的实例演示了该方法,并验证了其有效性。     

基于Petri网的物流派送模型修复分析

目前,模型修复技术应用领域非常广泛,模型修复不仅可以达到完全重放日志的目的 ,还可以最大程度地与原始模型保持相似,能够保留原始模型的价值.因此,越来越多的学者专注于研究模型修复.基于Petri网构建了一个物流派送流程模型,然后将事件日志与流程模型进行一致性检查,主要根据成本对齐测量其偏差,并针对检查到的偏差部分,根据提...     

基于Petri网分解的系统范例分析

以生产者一消费者系统和多处理机系统为例子,讨论了基于库所指标和变迁指标的两种Petri网分解方法在系统分析中的作用,分析了分解后的子系统与原系统的结构和行为方面的对应关系,为基于Petri网的复杂系统分析提供了有效的方法.     

基于Petri网的词法分析器的研究

采用Petri网对词法分析器进行了设计与分析．首先引入一套自成体系的“矢量文法”,并以矢量文法为桥梁,分析了Petri网与经典文法的包含关系．最后利用Petri网为经典的右线性正规文法建模,实现了基于Petri网建模的词法分析。