基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法。实验证明,该算法在实际应用中具有可操作性,有较强的现实意义。     

基于着色工作流网的产品开发过程建模与分析

对产品开发过程进行建模和分析可以加深设计人员对开发过程的理解。在着色工作流网（WFCP—net）的基础上建立了产品开发过程模型，随后对模型进行了分析并进行了模拟。结果表明，对着色工作流网建立的模型，可以在一个模型实例中同时运行多个实例；同时为业务规则从业务过程中分离出来提供可能。     

基于Petri网的面向测试的工作流系统建模方法

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。     

基于Petri网的工作流模型构建

Petri网以其良好的数学基础和可视化的建模方法已成为工作流研究中的重要建模工具。尤其对办公自动化建模时,在描述和分析对象上有其独到的优越之处,本文以协同办公系统中的生产计划管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。     

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

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

基于对象Petri网的产品设计过程工作流建模

针对产品设计过程中的工作流程控制及重组问题,通过对面向对象Petri网的讨论,建立了基于面向对象Petri网的产品设计过程工作流模型,并给出了模型运行的规则.应用此模型建模,系统具有结构化和工程化的特点.     

CORBA工作流时间Petri网建模与分析

基于时间Petri网和工作流分析技术,引入时间工作流网概念,建立CORBA系统中由一组受时间约束的子工作流协作组成的工作流的时间工作流网模型,并基于该模型分析时间工作流网模型的有效性,验证了模型与系统需求规范的一致性.     

基于着色Petri网的工作流模式研究

工作流技术的出现为解决现代企业信息化的需求提供了一种有效的技术方案,已成为工作流理论研究领域的热点,文章在分析经典Petri网建模能力的基础上,采用一种着色Petri网对文献[3]中提出的23种新的工作流模式进行建模研究。结果表明着色Petri网具有更强大的建模能力,能灵活实现这些复杂的新的工作流模式。     

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

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

基于Petri网的服装设计工作流管理系统的研究

提出在基于Petri网理论的基础上扩充得到工作流Petri网,依此来对工作流过程进行建模--工作流管理中的关键技术.通过一个服装设计工作流案例阐述了基于Petri网的工作流管理系统的建立.实践表明这种工作流管理方式形象直观、简单易行.     

基于高级Petri网的住院医师培训工作流建模与分析

为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约可达图法验证组织间关联关系的可达性.利用不变量法和归约可达图验证法可确保组织内部和组织间无死锁,采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点,提高了系统的实用性和高效性.     

基于着色Petri网的资源共享问题的研究

Petri网具有严格的数学定义与直观的图形表示，又有丰富的系统描述手段与行为分析技术：是一种适合于描述异步并发竞争机制的系统模型。不同进程对系统资源存取的同步与互斥是资源共享系统中的关键问题，解决多个进程共享资源同步与互斥的传统方法有：加锁机制、信号量机制和管程机制等。本论文基于着色Petri网理论，以计算机操作系统中的经典哲学家问题为引例，提出了基于着色Petri网描述与解决资源共享与同步问题，并用CPNTools工具进行了仿真，取得了简明直观的效果，为解决资源共享问题提供了一种新的研究方法。     

基于Petri网的高校办公自动化工作流研究

分析了高校办公自动化子系统工作流的基本结构和建模步骤,对公文流转的Petri工作流模型、工作流的路由、公文信息和公文的流程处理信息进行设计,并结合实例,探讨了该模型实现公文流转的过程。     

基于Petri网的安全工作流管理系统模型

访问控制是信息系统的一个重要安全保护机制,主体只有在被授权时才能对客体进行访问。应用有色时间Petri网对安全工作流模型进行了描述,并结合读/写安全策略对动态授权机制进行了应用分析。应用基于有色时间Petri网的工作流模型可以降低数据误用的危险性。     

着色Petri网在应急联动系统中的建模与仿真分析

在分析应急联动系统业务流程的基础上,引入着色Petri网,并利用支持Petri网建模与仿真的成熟工具CPNTools实现了应急联动系统流程的建模与仿真,同时对所建模型的性能进行了分析.     

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

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

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

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

基于着色Petri网的反导预警信息流转仿真与效能评估

为有效评估反导作战预警信息流转效能,分析了反导预警的作战过程,建立了基于着色Petri网(colored Petri nets,CPN)的反导预警信息流转模型,并用仿真软件对所建立的模型进行了仿真．通过优选效能评估指标,对反导预警信息流转CPN模型进行效能评估和优化．结果分析表明,适当减少用户的数量和传递层级,可以增加信息在用户之间的流转速率,以满足反导预警作战的时效性要求．