基于Petri网的医疗流程建模优化

为减少患者就医时抽血化验的次数,提出了一种基于Petri网的医疗流程模型的优化分析方法.首先介绍了Petri网的基本概念; 然后在确保合理的医疗流程前提下,通过合并变迁对医疗流程进行了建模优化; 最后利用PIPE软件对优化后的模型进行了模拟运行,结果表明本文方法能够有效改善医疗流程,节省医疗资源.     

基于Petri网的建筑施工流程优化建模

用Petri网建立了建筑施工流程的优化模型,模型形象描述了建筑过程中施工流程的因果关系,并以总工期为优化目标,给出了优化算法,判别出整个施工过程中的关键流程,对关键流程进行优化,从而达到对整个建筑施工流程的优化,并可以计算出其它非关键流程的缓冲时间。     

基于Petri网的门诊就医流程模型优化分析

为减少患者就医排队时间,实现医院和患者之间相对的利益达到最大化,本文给出了基于Petri网的门诊就医流程模型的优化分析方法.首先,给出门诊就医流程的Petri网模型,通过实际的门诊就医情况分析流程模型中库所和变迁之间的交互关系,找出模型中存在的问题; 然后,通过增加相关的控制结构对模型进行优化,并通过分析说明了流程模型优化的有效性.     

基于Petri网的酒店支付模型优化分析

以优化酒店支付模型和提升客户体验为目的,提出了一种基于Petri网的酒店支付模型的优化方法.首先根据酒店支付的实际流程建立基于Petri网的原流程模型,并分析原流程模型中存在的不合理环节; 然后在保证酒店支付行为可行的情景下,通过增加相应的结构变迁对原流程模型进行优化; 最后利用PIPE软件对优化模型进行模拟运行,结果表明优化后的模型合理、可靠,可为酒店支付提供有效参考.     

基于Petri网的选课系统建模优化

针对在访问选课系统中的临界资源时出现的不稳定性问题,建立了一种基于Petri网的选课系统流程模型.首先使用“生产者-消费者”原理对模型进行优化,实现“发布课程”和“选课”的严格序关系; 然后引入信号量机制进一步优化,实现互斥访问更新后的临界资源.最后用PIPE软件模拟运行优化后的模型并进行分析,结果表明模型具有安全性和有界性.     

基于Petri网的军队院校学籍管理流程优化

针对军队院校教学管理系统中的学籍管理流程进行了分析,在此基础上基于Petri网理论对该流程进行建模,结合Petri网性质,找出了该流程中的弱点和缺陷,对军队院校学籍管理流程进行了改造。理论分析表明了再造后的流程具有良好的特性。     

一种基于Petri网的事务模型

提出了一种基于Ｐｅｔｒｉ网的关系数据库的事务模型，即事务网，它清晰地表明了数据与事务的相互依赖关系及事务之间的并发关系，可作为关系数据库逻辑设计阶段的重要工具。     

基于Petri网的前台业务流程建模及优化分析

在采用挂号排队的前台业务流程中,被叫到挂号的客户如果已经离开,前台工作人员按流程会等到限定的时间结束后再依序叫下一个客户的挂号,因此会额外增加服务窗口的闲置时间和后续客户的等待时间.针对此现象,建立基于Petri网的挂号及叫号流程模型,并通过增加相关的结构变迁和库所,引入挂号取消系统、信息系统、挂号分类和信誉制度,对流...     

云计算环境下基于Petri网的流程计费模型

通过分析云计算环境下服务模块流程组合的动态性,运用随机Petri网进行动态流程建模与追踪,给出了分层计费体系下的流程计费模型,使用Petri网对该计费流程进行建模分析和设计,便于云服务提供商实现基于状态的计费控制,从而优化计费策略.实现了云计算基于过程模型的服务计量,并根据该模型进行相应定价,用户即可按需付费.通过应用实例验证了该计费方法的有效性和可操作性,为云服务提供商计费决策提供了技术支撑.     

基于Petri网的汽车制造业生产物流流程优化

以国内汽车制造企业的生产物流流程为研究对象,利用Petri网技术构建了现有环境下的生产物流流程模型,对其进行了数学特性分析,并使用Exspect软件模拟分析了原流程及优化后流程的优劣。结果表明,应用信息技术优化原有流程,有效降低了生产物流系统运行的出错概率,提高了工作效率。     

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

基于Petri网和BOM的拆卸建模方法研究

基于Petri网理论提出了虚拟拆卸网模型,关键技术是同步器对变迁的逻辑关系的确定.给出了其库所、变迁以及托肯的含义.基于基本对象模型提出了虚拟拆卸交互模型VDIM,研究了从网到VDIM的实体类型、事件类型、交互模式以及状态机的映射原理,并讨论了VDIM的模型可组合性.从联邦成员的划分,时间管理和同步管理三个方面研究了网模型和VDIM模型中仿真信息的融合,以便直接用于仿真系统的开发.最后的实例证明了研究的可行性.     

Research of the Assembly Model Based on Petri Net

Assembly model plans an important role in assembly sequence planning.Flexible assembly system (FAS) is a dis- crete event system (DES),so Petri net,as an important analytical tool for the DES,is used for modeling of an FAS.All of the feasible assembly sequences can be obtained by firing the Petri net model.In order to enhancing the efficiency of the assembly sequence planning,knowledge-based Petri net,combining an usual Petri net with expert's knowledge and experiences,is proposed to con- struct the assembly model.So the feasible assembly sequences can be reduced greatly,and the optimum assembly sequence could be generated without the combinatorial explosion of solutions.     

基于时间Petri网的动画描述模型*

提出了基于时间Petri网的动画描述模型, 并结合面向对象方法对动画脚本中角色和情节进行描述, 用该模型来设计的一个动画脚本描述语言已经实现.     

基于有色Petri网的Web服务组合建模与分析

形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的。     

一种基于有色Petri网的工作流网模型

使用工作流网（WF-nets）描述工作流的业务流程时，可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上，定义了一种基于有色Petri网的工作流网模型CWF-nets，给出了严格的定义和变迁发生机制，并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑，且这种逻辑结构与工作流具体案例的属性数据无关，避免了上述问题。     

基于Petri网模型的异步并发性

通过分析Petri网的网状结构特性,研究其描述异步并发的能力和特点．然后以Petri网的角度重新定义异步并发的概念,并结合实际异步并发应用中的特性,完成建模过程分析．最后,以教务系统中排课系统Ajax的异步传输机制为例建立模型,指导和检验系统的运行情况．     

基于Petri网的Job_Shop动态调度问题的模型和仿真

在定义了带有抑制弧的颜色Petri网的基础上,建立了Job_Shop动态调度问题的模型。该模型充分考虑了机器维护、机器故障和工件优先级三种情况。最后,以CPN Tools为工具,结合一个Job_Shop调度问题实例,对模型进行了仿真研究,并对结果进行详细的分析。仿真结果表明,提出的模型具有较强的动态响应能力和有效性。     

基于Petri网的装备物流管理模型

基于物流理念和Petri网理论，提出了扩展参数Petri网概念，建立了军队装备管理物流模型．本模型以实现网络化管理为目的，运用物流管理的先进模式和EPPN分析并发事件的能力，从物资调度、物资储备、库存查询等方面，对装备物流管理进行了定性的分析和描述．