基于Petri网的医疗信息整合工作流建模与分析

工作流技术是实现信息系统集成的一种有效手段。医疗信息整合（Integrating the Healthcare Enterprise，IHE），是针对复杂而异构的医院环境，基于医疗标准的一种通用的医疗信息系统集成的新规范。基于Petri网理论，利用工作流技术，将IHE规范作为医疗信息系统集成问题到Petri网模型的桥梁，给出一种形式化、规范化的医疗信息系统工作流集成方法，构建了基于Petri网的医院信息系统工作流模型。为医院的医疗信息系统集成的仿真及对医疗服务信息系统工作流的分析、验证与优化提供了理论基础。     

带回流复杂制造系统基于资源的Petri网仿真原型

针对带回流复杂制造系统建模的难点,提出三种解决办法:首先提出基于资源的Petri网模型构建模式对系统结构建模,避免随加工步骤增多网规模扩大;其次提出IDEF0与PN相结合的建模方法对系统功能建模,实现对系统及子系统功能以及系统间关系的详细描述;最后通过多种变迁种类的引入实现对系统行为建模。在此模型基础上,构建带回流复杂制造系统仿真器原型,并介绍了该仿真器对投料策略和调度规则的仿真。     

基于对象Petri网的水下对抗系统建模

针对通常的模型不能同时描述水下对抗系统的静态结构和动态过程,而且在层次化、可扩充性等方面也不能满足建模需求的问题,采用对象Petri网建立了水下对抗系统的模型.首先对水下对抗系统进行了分析,划分了系统对象;然后通过抑制弧的应用建立了适用于各个对象的不同工作模式的Petri网模型;最后给出了水下对抗系统的对象Petri网模型并进行了仿真分析,仿真结果与实际过程相符合.该模型不仅可以描述不同形式的水下对抗的静态结构和动态过程,而且具有良好的可重用性.     

港区航道系统综合通过能力仿真建模研究

港区内航道通过能力是港口规划与管理分析的重要内容.在分析船舶、锚地、航道、泊位以及天气和潮汐等港区通航系统影响因素的基础上,建立了基于随机Petri网的港区航道系统综合通过能力仿真模型,包括船舶到港锚地等待子系统、船舶进港子系统、船舶泊位作业子系统及船舶出港子系统,探讨了船舶等待,通航与泊位作业的仿真建模处理,分析了其eM-Plant仿真系统的实现方法.针对我国南方某港区航道系统建立了仿真实验系统并进行仿真实验,实验结果表明模型能够有效仿真分析航道网络系统的通过能力,为港区规划设计与管理提供依据.     

基于着色Petri网的卫星军事应用系统建模

卫星军事应用系统是一个复杂的军事信息系统,具有同步、并发、冲突等特点。应用着色Petri网技术对其进行建模,符合卫星军事应用系统的特点,能够有效分析系统的静态结构和动态行为。介绍了着色Petri网的基本概念,剖析了卫星军事应用系统的作战过程,建立了系统的CPN模型,最后针对模型进行了性能分析。     

基于UML和Petri网的层次建模分析方法

提出一种新的UML和Petri网结合方式的建模分析方法。该方法采用从上到下的屡次分析方法，用扩展的UML模型对系统组织结构和系统的静态特征进行描述，用扩展的Petri网模型描述和分析系统动态特性，通过转化规则将Petri网模型转化成相应的状态图和序列图，然后集成所有的UML模型，通过Rational Rose等软件来实现代码。最后通过该方法，对一个FMS进行了建模分析。     

基于广义微分Petri网的混合系统仿真方法

针对混合动态系统仿真的特点，建立其广义微分Petri网仿真模型，将混合系统的仿真统一于同一建模框架下，在此框架下，离散事件和连续状态变化对混合系统演化的推动作用均可以通过仿真模型中的变迁激发来完成，通过对广义微分Petri网的仿真过程进行分析，给出了基于该模型框架的仿真算法，并对仿真过程中出现的由资源共享引起冲突现象及其解决方案进行分析，最后讨论了仿真系统的死锁及其避免问题。     

基于Petri网的多Agent系统建模的研究

多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agent系统建模领域的应用背景,对基于Petri网的多Agent系统建模方法进行了分类、分析、比较和评估,指出了目前使用Petri网技术对多Agent系统进行建模存在的问题,并给出了今后的研究方向.     

语义Web服务自动组合的有色网验证模型

Web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果.针对这一问题,提出一种具有正确性分析与验证功能的Web服务自动组合系统框架.其核心是利用有色Petri网对基于OWL-S的服务组合系统进行形式化建模,通过对组合模型的模拟执行及对其动态性能的全面分析,预测组合服务的执行结果,从而提高组合的可靠性.另外,该框架采用智能Agent技术,可有效实现组合过程的自动化.     

一类综合控制系统的MLD建模与仿真研究

为了实现一类综合控制系统的高性能控制,提出了利用基于混杂动态系统理论的MLD(混合逻辑动态)建模方法对系统进行建模.从分析系统的混杂特性出发,介绍了DHA(~散混杂自动机)建模框架和建立系统MLD模型的基本原理和步骤.将本质上混杂的综合控制系统在DHA框架下进行建模分析,然后利用HYSDEL(混杂系统描述语言)这种统一的建模语言对混杂系统进行抽象描述,并转换成便于计算和性能分析的MLD模型,最后通过仿真验证了所建立的MLD模型在对系统进行开环控制时的有效性.     

在学习和应用Petri网中值得注意的几个问题

根据多年的工作经历,作者对Petri网学习和应用中的一些问题进行了探讨,并简要介绍了Petri网教材。     

用于实现异步通信的一种模块化Petri网

在（TS）＊SM结构活性充要条件的基础上,首先找到一种构造活的初始标识的方法并证明它的正确性。在此基础上,考虑了使用请求/应答机制（Request/Response mechanism）进行通信的网系统子类Request/Response（TS）＊SM的正确性规范以及无死锁性条件,并将其推广到更大的子类Recursively Request/Response（TS）＊SM。     

随机Petri网仿真分析方法的研究

本文主要讨论的是用计算机仿真技术作为随机Ｐｅｔｒｉ网分析工具的新方法，介绍了用ＧＰＳＳ程序块来仿真一个随机Ｐｅｔｒｉ网的模型。并给出了用这种方法分析通信模型的实例。     

用Petri网研究组织结构形式

从一般管理组织结构出发，得出其结构的本质，并且将它与Ｐｅｔｒｉ网和随机Ｐｅｔｒｉ网联系．用Ｐｅｔｒｉ网来研究组织结构问题．     

装备战场抢修的任意随机Petri网建模及仿真

基于任意分布随机Petri网（ASPN）,建立了装备战场抢修系统的ASPN模型。利用ARENA通用仿真平台,对装备战场抢修系统的ASPN模型进行仿真,得出了一些有价值的结论。仿真的结果与实际情况吻合,充分验证了模型的正确性。仿真的结论可为装备战场抢修的决策阶层提供决策支持,对提高我军装备维修保障能力,实现经济型维修保障,具有重要的意义。     

现场通信系统的仿真建模及其性能评价方法

由于Petri网适于描述系统冲突和竞争，故在较多场合中引入了Petri网对通信协议及系统进行建模，但目前采用Petri网对现场通信系统建模和评价还很少，通过Petri网协议描述实现现场通信和评价系统性能双重功能更无先例，本文在时间Petri网的基础上加以拓展，提出了现场通信协议的类时间Petri网描述方法，针对多协议现场通信控制装置FCCD，从理论上建立了FCCD系统的类时间Petri网模型，实现了多协议智能设备的互连及其系统的性能仿真评价。     

Applying process mining approach to support the verification of a multi-agent system

Using agent development tools to construct an agent-based system is a well applied approach.However,the development tools usually do not have the function to check the feasibility about the workflow of the agent system during it implementation stage.Therefore,to develop an evaluation approach to analyze the feasibility of a developing agent system such that the improper workflow of an agent system can be found in the early design stage is a necessary task to reduce the risk of implementation.In this research,a Petri Net(PN) based three-stage evaluation approach was developed.In the conceptual stage,the pitfall of the current agent system developing process was examined and an improvement analysis process was specified.Then,in the system design stage,an evaluation approach which extracted the process log file from a developing agent system into a PN model in terms of a process mining approach-α algorithm was proposed.This model was simulated in a PN simulation package.The agent system performance was evaluated in terms of analyzing the deadlock phenomena of the PN model.Finally,in the implementation stage,the proposed concept was implemented by using an agent developing tool JADE and a PN simulation tool CPN.An agent-based robotic assembly system was used to examine the possible deadlock of the agent system.     

多Agent系统形式化建模方法研究

简要总结了多Agent系统（MAS）形式化建模方法的研究现状;以面向对象Petri网（OPN）和π演算为基础,给出了一种直观的MAS体系结构模型（Multi-Agent Systems Architecture Model,MASAM）。OPN可以形象地描述MAS的初始化结构及动态行为,而π演算可以刻画MAS的动态演化;另外,可以利用Petri网和π演算的相关分析方法和支持工具分析和验证系统模型,在系统开发早期发现并避免体系结构级的错误。     

基于Petri网的工作流模式--工作流模式分析研究

随着企业建模、工作流概念的出现以及相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础等诸多优点也被应用于这一新兴领域,对工作流理论基础进行研究.本文将利用Petri网来描述和分析工作流的各种模式,比较模式之间的异同,并对模式进行合并和重划分.     

Petri网的分享合成操作

通过引入Fork算子，建立Petri网的一种新的合成操作一分享合成，分享合成探作与传统的共享合成操作相比更适合于描述信息系统的建模。在分享合成时，子网中任何与分享库所无关的变迁序列在合成后保持不变，分享合成对于子网内由分享库所引发的变迁序列也保持不变。分享合成实际上增加了分享库所引发变迁序列发生的机会，使得到达输出集的机会增加。最后介绍了Petri网分享合成操作在信息系统安全管理中的应用。