基于随机Petri网可修控制系统的可用度计算

提出了一种基于随机Ｐｅｔｒｉ网的可修控制系统的稳态可用度的计算方法。该方法利用随机Ｐｅｔｒｉ网作工具来分析系统的状态变化关系，从而得出相应的Ｍａｒｋｏｖ链状态转移图，再利用由此得来的状态概率矩阵方程求解，计算较为简单。     

防化装备维修保障系统的Petri网

为了解决传统的Petri网模型结构复杂、缺少时间描述等不足,在装备维修保障系统建模中,利用有色Petri网、赋时Petri网理论,提出了装备维修保障系统的Petri网模型,具有结构顺序明确、计算简便、效率高等特点。     

广义随机Petri网在工作流建模中的应用研究

工作流管理技术是20世纪90年代初兴起的软件技术,其实现的关键在于工作流概念模型的建立。Petri网(GSPN)作为一种图形化的数学建模工具,适合于工作流领域的建模需求。提出了基于广义随机Petri网的工作流建模方法,运用可达图法对工作流正确性和可靠性进行检查。利用GSPN与马尔可夫链的同构关系,采用GSPN和马尔可夫链相结合的工作流性能分析方法,为工作流性能的有效评估提供理论依据。实例验证该方法是有效性的,有利于工作流管理系统的实现。     

混合随机Petri网

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

随机Petri网对装备维修保障的建模与分析

利用Petri网与马尔可夫链的同构关系,采用Petri网与马尔可夫链理论相结合的维修保障系统性能分析方法,对系统性能有效评估提供了理论依据。通过两个不同实例分析了系统状态空间、各状态在稳态下的期望概率、系统可靠性和维修人员的工作强度。实例表明,相比传统的建模方法,在分析装备维修保障各状态间的逻辑关系和系统动态过程中,随机Petri网具有显著的有效性和优越性。     

基于广义随机Petri网的贵港生态工业园资源利用率分析

资源利用率是评价生态工业园运行绩效的重要指标,资源高效利用是生态工业园建设的基本要求.本文以广义随机Petri网作为建模工具,以贵港生态工业园作为研究对象,通过构建贵港生态工业园物质循环网络的广义Petri网模型,利用广义随机Petri网模型与马尔科夫链的同构关系,分析了贵港生态工业园关键资源的利用率以及重点加工环节运作效率,指出了贵港生态产业园资源利用过程中有待改善的环节,为贵港生态工业园的优化和改进提供了依据.     

基于广义随机Petri网的轨道车辆门系统可靠性分析

轨道车辆车门系统的安全性和可靠性极为重要。采用广义随机Petri网建立轨道车辆车门系统工作过程的可靠性模型,描述系统的静态结构及动态运行过程;对该模型进行Monte-Carlo仿真计算,计算系统在各时间段的可靠性指标。研究表明,应用Petri 网建立的车门系统可靠性模型结构清晰,拓展性强,便于仿真实现,能够为车门系统设计及维保安排提供指导。     

随机Petri网对可修复系统的建模和分析

为分析工程中较大的可修复系统的工作状态、可靠性和修理工的工作强度，提出了一类由不同机器和具有混合技能的不同维修人员所组成的可修复系统，引进了状态转移是Markov过程的随机Petri网，对系统进行建模，通过实例分析系统的状态空间、各状态在稳态下的期望频率、期望持续时间、系统的可靠性和维修人员的工作强度，分析了随机C／E网和随机P／T的适用范围．与传统的状态空间法相比较，在确定可修复系统的状态空间、分析状态间的逻辑关系和系统的动态过程中，随机Petri网具有显著的有效性和优越性．     

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

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

基于广义随机Petri网的MVB网络吞吐性能分析

基于Petri网模型的建模分析方法,对多功能车辆总线网络的吞吐性能进行了分析.首先建立了MVB网络的广义随机Petri网(GSPN)模型,并逐步压缩和简化以便于分析.之后在随机离散有穷状态马尔可夫过程理论基础上,对该模型进行分析计算.同时采用了随机Petri网计算机辅助分析软件TimeNET建立模型和仿真.给出了MVB网络单纯过程数据的报文吞吐量,有效数据传输能力和带宽利用率等性能参数.结论指出广义随机Petri网是对网络协议进行分析的有效工具.     

基于着色Petri网理论的通信装备维修系统建模

讨论了一种基于着色Petri网理论建立通信装备第二级维修子系统模型的方法。该方法通过运用着色Petri网理论的优势对原有的通信装备第二级维修子系统模型进行改造,克服了以往用普通Petri网建模的不足,细化了其系统模型的中间操作过程,有利于模型分析和仿真实现。     

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

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

基于随机Petri网的路由器的建模与状态爆炸的解决

提出了切换路由器的一个随机Petri网模型。在建模分析的过程中,通过逐步分解与迭代,解决了因系统规模扩充所带来的著名的状态爆炸问题,其结果证明了概算法的有效性与可行性。对于存在两个或以上的“资源”竞争的复杂环境,这种概算分析法也可以得到应用。     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

Petri网维修事件仿真系统的HLA兼容性改造研究

通过对基于Petri网的维修事件仿真系统运行过程分析,确定其与外界的信息交换能力。开发了仿真对象模型（SOM）,并对其信息接口进行了改造。从而实现了Petri网仿真模型与RTI运行支撑环境的无缝连接。探讨了Petri网仿真模型改造为HLA成员的关键技术,为后续开发HLA环境下的Petri网仿真模型集成环境进行了初步的探索工作。     

用蒙特卡罗和Petri网方法估计随机流网络的可靠性

提出一种估计随机流网络可靠性的基于蒙特卡罗抽样和Petri网建模仿真的MCPN方法.该算法以蒙特卡罗方法为基本框架,通过蒙特卡罗抽样来模拟网络系统的随机性.对于随机抽取的网络状态,通过Petri网仿真计算相应加权图的最大流量,判断其是否为有效状态.仿真结果表明,Petri网方法是一种有效的计算加权图最大流量的方法.     

模糊神经Petri网算法优化及其收敛性分析

针对模糊神经Petri网(fuzzy neural Petri net,FNPN)学习算法计算精度低、收敛性差及训练过程中网络震荡较大的问题,提出一种优化的FNPN算法.本算法采用两种S型连续函数分别表示变迁使能及变迁点燃后的新标记值,并在传统参数修正公式的基础上考虑修正前的数值进而增加新型的动量项,从而改善网络的收敛性.本文证明了优化后的参数修正算法可以保证FNPN网络的收敛性.     

基于Petri网的生产系统建模与分析研究

针对生产管理模式的选择及Petri网建模规模较小等问题,根据生产物流控制的原理,在对基本制造单元进行模块化建模的基础上,应用模块化、层次化的技术构建了推式、拉式等生产管理模式的Petri网模型,然后应用参数化的技术对模型进行了改进,应用IDEF1X方法(icam definition methods,IDEF系列分析方法中的数据建模方法)对着色Petri网的颜色集进行了设计,弥补了Petri网建模的不足,并通过对这些方法的集成应用,建立了具有较强通用性的大规模复杂生产系统的Petri模型.最后,通过直接对所建Petri网模型的仿真和对仿真过程中所采集数据的统计计算,对生产系统的性能进行了分析,验证了上述建模方法的正确性和通用性.该方法为制造企业进行生产模式选择提供了有效的工具.