基于随机着色Petri网的应急联动系统(IEMS)建模分析

为了高效利用有限的资源,提高政府对紧急事件的快速反应能力和抗风险能力,并为市民提供更快捷的紧急救助服务,在分析应急联动系统（IEMS）业务流程的基础上,引入随机着色Petri网对系统建模,实现了系统的动态模拟,并针对系统所建模型给出了其性能分析的方法.     

多传感器信息融合的分层着色Petri网模型

该文以导弹攻击系统为例,提出了一种基于分层着色Petri网理论建立多传感器信息融合系统模型的方法。该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,同时给出融合中心的数据融合算法和指挥中心的神经网络解析算法。基于分层着色Petri网建模与分析方法有利于融合系统的性能分析和行为仿真的实现。     

基于有色Petri网的通信装备战场抢修效能评估

根据有色Petri网在离散动态系统建模中的强大优势，运用建模与仿真技术，对通信装备战场抢修效能进行了评估；运用有色Petri网（colored Petri net，CPN）工具对具体实例进行了仿真实现，其运行结果与该抢修系统的统计结果基本一致；证明了有色Petri网理论和仿真工具在本领域运用的可行性和科学性，为战场抢修系统的效能评估探索出了一种新的方法。     

Petri网建模方法在网络仿真中的应用

首先介绍了Petri网原理及特点和Petri网建模的一般方法，然后以CSMA／CD网络为例给出仿真模型，最后总结Petri网建模优点并将Petri网建模与流程图进行了比较。     

自控连续Petri网模型及其应用

在现有连续Petri网方法研究的基础上,提出了自控连续Petri网的建模和描述方法,通过该方法来描述和分析具有连续变量的系统.阐述了使用该方法在柔性物流自动化系统建模中的应用,使建立的模型具有自我修正的能力,更加符合实际情况.给出了该方法的定义并对该方法的几种基本应用形式进行了分析,通过系统建模与仿真分析,证明了该方法的合理性.     

战时装备维修保障系统赋时Petri网建模

Petri网作为离散事件系统（discrete event system,DES）建模仿真的有利工具,能较好地用于对战时装备维修保障系统的仿真建模。介绍了赋时Petri网,分析了其在战时装备保障系统中的运用,提出了系统模型假设,给出了战时装备维修保障系统模型的具体设计方案,并对模型的应用进行了说明。     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

基于Petri网的应急管理工作流模型

讨论了由Petri网发展起来的工作流网WF-net的定义、工作流执行结构及任务触发方法,引入WF-net建立应急管理信息系统工作流模型,提出了一种基于Petri网工作流模型的建模方法及其相关规则．以一个省级应急管理系统为例,详细阐述了构建Petri网工作流模型的过程,并利用验证工具对该模型进行了正确合理性分析．     

构件系统结构的Petri网方法描述

通过分析已有的ADL体系结构描述与分析方法,表明当前ADL难以有效地支持软件开发全过程和保障其可信度及服务质量。对当前Petri网在构件系统描述中的应用情况及其存在的问题进行了分析,讨论了基于Petri网进行构件系统建模时系统体系结构描述及结构演化等问题,表明Petri网方法在构件系统建模中具有较大的优势。     

基于UML和Petri网的建模及其验证

为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法。用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进行建模,运用两种建模方法的优势,以及UML和Petri网之间的转化规则,实现两种模型的转换。最后把Petri网转化为Promela程序,用SPIN工具Petri网模型进行验证。