基于冲突判定的混杂Petri网模型行为分析

为了分析基本混杂Petri网模型行为,提出了基本混杂Petri网各迁移间的冲突判定定理,讨论了消解策略,并给出了基于冲突判定和消解的基本混杂Petri网模型行为分析算法。理论分析证明了所提出定理的正确性,实例分析和比较说明了所提出算法的有效性。     

基于混杂Petri网的食品加工生产过程建模

根据食品加工过程的混杂特性,提出了一种基于时延混杂Petri网与微分方程机理建模相结合的方法,并对某食品加工过程进行了建模和分析,其模型体现了连续过程和离散事件共存的特性,具有一般性.此模型可以应用于生产过程的优化调度.     

基于一阶流体随机Petri网的回报建模

从回报机制与回报变量的定义、回报模型的建立等方面提出了基于一阶流体随机Petri网的回报模型的一般性建模方法．该方法既可用于建模马尔科夫随机系统，也可用于建模非马尔科夫随机系统．在一阶流体随机Petri网回报模型中，可建模率回报和冲量回报，并可允许累积回报影响被建模系统的动态行为以及回报率本身．     

基于混杂Petri网的钢铁企业煤气能量流网络建模与权函数优化

为实现钢铁企业煤气能量流网络的高效运行,首先总结煤气能量流网络的特性和建模需求,给出煤气能量流网络和混杂Petri网的元素对应关系和建模规则,并给出建模实例;然后基于网络行为特征提出能量密度指标,建立优化能量密度的线性规划模型,对权函数进行重新配置;最后给出某大型钢铁企业的煤气能量流网络.利用建模规则建立其混杂Petri网模型,为煤气能量流网络的动态和行为分析提供了模型基础.基于煤气能量流网络历史数据,应用优化模型实现权函数重新配置,能量密度的优化值比历史值平均改进1.59%,优化了煤气能量流网络的运行.     

混合随机Petri网

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

基于流体随机Petri网的工作流响应时间计算

提出了一个基于流体随机Petri网的工作流响应时间评价方法，该方法的主要优点是工作流任务的处理时间可取任意的概率分布，因此与已有的方法相比具有更高的准确性．以工作流的随机工作流网模型为起点，首先讨论了利用随机工作流网建模需解决的诸如时间变迁冲突等相关问题，举例说明了如何将随机工作流网模型转化为流体随机Petri网模型，最后给出了该种流体随机Petri网模型的稳态方程，说明工作流的平均响应时间可由对流体随机Petri网模型稳态方程的求解得到．另外指出了目前应用该方法存在的困难及将来可能的研究方向．     

混合状态Petri网及其在过程控制混杂系统中的应用

为了处理混杂系统的建模问题，提出了一种称为混合状态Petri网(HSPN)的混合Petri网，给出了HSPN的定义及其变迁规则。采用一个实际化工过程为例建立了HSPN模型，该模型可以用于混合控制器的设计，仿真结果表明了其有效性。本文还简要地讨论了HSPN的一些性质。     

Petri网在复杂系统建模中的意义

图灵机模型是计算机的理论模型,它能实现模型相互之间的模拟,但应用于通信系统等异步、并行的复杂系统却很难模拟,从而引入了一种建模工具--Petri网.通过介绍自动机和图灵机的原理.分析Petri网.给出一个具体的基于Petri网建模方式的实例,并对实例模型和现有的建模工具进行比较,从而证明Petri网在复杂系统建模中是处于优势的.     

基于角色的访问控制Petri网及协商树模型

针对基于角色的访问控制自动机等模型存在的缺陷,对Petri网进行了改进,并将改进后的Petri网应用于基于角色的访问控制中,实现了基于角色的访问控制Petri网.在角色转换过程的条件控制中,提出了协商树的方法,描述双方证书协商、形成协商树、满足角色转换条件、使角色转换得以实现的过程,实现了较为完整的基于角色的访问控制Petri网.     

一阶流体随机Petri网:定义与分析

重新定义了一阶流体随机Petri网,其中,流体跳跃弧的跳跃高度取确定值,并被赋予在瞬间内清空与之相联接的连续库所的功能.给出了随机标识过程的动态方程,讨论了连续弧的流体流动速度为连续标识的函数而导致的概率值累积问题,使得直接用数值方法对模型的动态方程进行求解成为可能.