着色Petri网的混杂系统仿真平台构架

提出一种以Petri网为仿真进程控制,以着色Petri网与Matlab交互为主题的混杂仿真跨平台构架. 该仿真构架通过运用和扩展着色Petri网中替代变迁的概念,结合融合库所和折叠功能,实现了混杂系统的复杂逻辑建模和连续系统内嵌. 同时,着色Petri网的分析功能在一定程度上缓解了逻辑结构复杂的混杂系统检验困难的问题.最后通过一个混杂系统实例的建模与仿真分析,验证了该平台的可行性与逻辑检验的有效性,为复杂混杂系统的建模与仿真提供了一条新途径.     

用影响网分析复杂系统关键事件

为分析复杂系统关键事件,将系统事件序列图转换为影响网图,通过着色Petri网进行建模和仿真,采用影响网分析系统事件的敏感性并搜索关键事件集合. 统计着色Petri网模型的仿真输出结果,得出事件发生的条件概率和基准概率,将影响强度与条件概率值的关系线性化,从而推算出影响强度. 该方法避免了影响强度、基准概率等参数由专家指定存在的主观性. 以弹道导弹防御系统为例进行分析,结果表明所述方法直观实用,对复杂系统的决策有一定的参考价值.     

基于着色Petri网的电子商务工作流建模研究

工作流技术的核心内容就是工作流建模,但电子商务流程非常复杂,基本的Petri网往往因为细节过多而使其图形复杂,因此通过着色Petri网对电子商务系统工作流程进行建模和仿真.通过对电子商务系统的每一子流程进行建模,并利用仿真工具对模型进行分析和验证,结果表明应用着色Petri网建模可以规范其业务流程,提高其工作效率.     

针对面向对象着色Petri网的中国列车运行控制系统建模

中国列车运行控制系统是一种典型的复杂实时分布系统,Petri网是其有效的建模、仿真和验证形式化方法.针对系统特征并以列车、无线闭塞中心等构件为基础,考虑列车的实际运行情况和功能类型,采用面向对象的Petri网实现系统动态特征的描述和建模.     

基于Petri网和基因表达式编程的作业车间调度研究

为了更好的解决车间调度问题,提出了一种基于时延Petri网（TdPN）和基因表达式编程相结合的调度算法。在该方法中,基因表达式编程根据时延Petri网模型中的部分变迁序列来确立染色体,每条染色体表示一种车间调度方案。作者选用了基因表达式的选择、交叉、变异三种类型进行遗传操作,利用延时 Petri网对车间调度过程的仿真,根据变迁的赋时时间获得每条染色体的相应的时间。最后本文结合基因表达式编程具有较好的寻优能力和Petri网对动态的离散事件的过程能进行很好的描述的优点,在文章实验中验证了此方法的可行性。     

基于Petri网的复杂空竭休假排队系统的性能评价

针对复杂空竭排队系统难以得到性能指标解析解的问题,提出基于Petri网模拟的近似解方法.通过CPN Tools建立4种休假策略下排队系统的Petri网模型,在定义排队系统的性能指标数学期望公式的基础上,使用Data Collector采集模型模拟的动态数据,得到相关的性能指标结果和期望收益.仿真结果表明这种基于Petri网模型的近似求解方法是有效的,建立的模型和基于模型的性能分析方法具有可扩展性、复用性和界面友好性.     

用关联矩阵特征值分析Petri网模型结构

通过计算由关联矩阵变换所得特殊方阵的特征值来分析Petri网模型某些重要的结构特性. 根据自由选择网、自由连接网与非自由选择网、非自由连接网关联矩阵的区别,分别用不同的方法将它们变换为同一类方阵,并用此类矩阵理论给出Petri网模型的结构有界性、守恒性、可重复性、协调性的充分条件及相关证明. 采用一个雷达工作过程建模实例详细阐述了该结构理论在实际Petri网模型分析中的应用,为关联矩阵在Petri网模型结构分析中的应用提供了一个可选择的方法.     

基于部分状态空间存储的Petri网库所界求解算法

Petri网是一种重要的形式化建模工具，有界性是Petri网的重要性质之一.该文关注于这一性质并提出了一种新的无需存储全部状态空间的算法以求解Petri网库所界，主要思想为在生成状态空间过程中，通过引导消除可达图的部分回路同时结合T不变量的相关性质，以实现通过存储部分状态来精确求解每个库所的界.基于模型检测比赛的公开数据集进行了对比实验，通过对求解库所界的不同方法及其实验结果进行比较分析，说明了本文算法的有效性.     

Web服务组合系统扩展GSPN建模与化简规则

使用广义随机Petri 网(generalized stochastic Petri net, GSPN) 对具有复杂时间约束信息的大规模Web 服务组合系统进行建模时,模型难以直观理解,并且会造成状态空间爆炸. 针对此问题提出一种扩展GSPN建模方法. 将不同类型的时间约束信息分别施加于模型的位置、变迁和弧,可以简洁直观地表达系统复杂时间约束
信息. 进而提出一组应用于扩展模型的化简规则,对模型中一些常用结构进行化简,克服了GSPN 缺乏通用化简方法以及难以在保留时间约束特征前提下进行化简的问题,减小了系统模型的状态空间. 多种模型下的化简示例表明,所提方法有效降低了系统性能分析的复杂度,适用于对大多数Web 服务组合系统进行快速性能分析.     

协同设计中基于混合Petri网的云工作流表示模型

针对目前协同设计中业务过程描述能力不足和柔性差等问题,从并发性、可伸缩性和协同性等五方面进
行分析,提出了一种在空间上三维分布的Petri网建模方法. 将组合、颜色和定时约束Petri网引入协同设计的流
程建模之中,设计了协同设计下云工作流业务流程的HPN(hybrid Petri net)模型;运用随机Petri网的思想对协
同设计各流程流转、工作效率等进行分析,详细分析了其性能指标,验证了模型的可达性,并从业务冲突及模型分
解等方面提出了优化.     

Petri网:概念、分析方法和应用

Ｐｅｔｒｉ网以图形化的方式直观地描述了离散事件系统的各种关系和行为,且以网络理论和代数理论等作为数学基础,可方便地分析离散事件系统的各种特性．更由于其形式化的描述方法,能够直接由模型转化为代码实现对系统的控制．因此在计算机系统的建模、分析和控制综合中得到广泛应用．本文介绍了 Ｐｅｔｒｉ网的基本概念、特点、分析方法及其应用．     

可修系统的Petri网模型及其分析

该文可靠性理论引进到Ｐｅｔｉｒ网中，建立可修系统的Ｐｅｔｉｒ网模型，并给出了系统模型的分析方法。通过对一生产系统的模拟，说明该工作的必要性。     

离散测量事件在混合系统状态估计中的应用

通过定义离散测量事件,从量化定性测量信号中提取出定量信息,并与连续测量信号一起应用到混合系统状态估计中,以改善状态估计的结果,获得更好的估计性能.讨论了由离散测量事件提取的信息在混合系统状态估计中的应用方案,并给出了设计步骤与实现方法.仿真实验证实,利用离散测量事件修正状态估计结果的方法是有效的,可以提高状态估计的速度与精度.     

基于微分动态逻辑的液压运动系统的分析与验证

液压运动系统既包含连续过程也包含离散过程,可以认为是一个混成系统,在以往研究中缺乏对此类系统安全性的建模与证明。为了解决这个问题,以经典液压运动系统为例,结合专业知识,用微分方程对整个系统运动过程进行详细描述。结合微分动态逻辑和混成程序建立模型,通过工具KeYmaera来验证所建模型的正确性及液压运动系统运动的安全性。结果表明,所建模型正确,安全性良好。该方法适合应用于此类系统的建模与验证过程。     

互联网和社会网络中的信息交互传播模型

WS或BA等复杂网络模型可描述各类真实系统的拓扑规律和复杂性。而Petri网在处理系统内部通信和控制方面则具有特殊的优越性．本文结合广义随机Petri网和BA模型构造了一个可描述信息在互联网和社会系统中交互传播的复杂网络模型．     

异地电源制造中的动态访问控制研究与应用

基于异地制造系统的信息流动特点,在传统的访问控制矩阵基础上,提出了一种基于Petri网工作流的动态访问控制策略,给出了其访问规则和矩阵形式,并以一个方案评审工作流系统为例,说明了该方法的应用.