摘要：流程建模是支持企业流程重组（ＢＰＲ）的关键技术之一，文章探讨一种基于高级Ｐｅｔｒｉ网模型的流程建模支持系统．在简要介绍支持ＢＰＲ的高级Ｐｅｔｒｉ 网模型的基础上，首先从功能、结构及软硬件配置方面进行系统设计，继而分别探讨系统开发的屏幕布局、建模初始化与模型编辑、模型层次管理及数据的存储与表达等问题．最后，选择某高校典型事务流程，用自行开发的建模支持系统进行了建模实例研究．

摘要：针对飞机设计流程建模中遇到的建模过程复杂,主观性强等情况,提出了基于协同模式的建模方法。从某飞机设计实践出发,结合以往设计经验,调查设计组织、设计流程、设计工具等方面,归纳现有协同模式。结合各个模式的应用场合,分析其特点和优缺点。在此基础上,提出借助协同关联网络进行建模。协同关联网络由各模式协同行为和对应设计对象连接而成。使用Petrinet的网射分析寻找协同关联网络中的重复/迭代过程,辅助建立简化的流程骨架。以此骨架为基础,增加附属信息形成通用设计流程模型。用例证明,该建模方法分离飞机设计专业知识和流程建模知识需求,降低建模难度,交互验证的中间信息和形式化的分析方法增加了建模过程的客观性。

摘要：针对突发事件所处环境的动态特性,结合应急处置与事件演化的适应性,提出一种基于着色Petri网的情景演化应急预案流程建模方法.将着色Petri网引入应急预案的流程建模之中,设计了情景演化下应急处置流程的CPN(colored Petri net)模型;运用随机Petri网的思想将时间概念引入到应急预案的动态建模之中,通过同构的马尔可夫链进行业务流程的性能分析,并设计了库所繁忙概率、变迁利用率和变迁标记流速等一组性能指标;以特大火灾应急预案为例,在验证了模型的有效性的基础上,分析信息资源聚集瓶颈以及关键业务单元;结合分析结果,提出了应急预案流程模型的优化思路,在模型优化的过程中考虑情景要素的影响,实现应急资源的动态配置.

摘要：为提高我国应急物流预案运行实施的协同性,提出虚拟应急物流协同预案的概念,分析了虚拟应急物流协同预案的涵义、主要要素及体系结构,论述了虚拟应急物流协同预案编制的基本原则和步骤。在以上研究的基础上,采用着色Petri网理论对虚拟应急物流协同预案流程进行建模,设计了整体流程Petri网模型和各部分流程Petri网模型,并运用仿真软件CPN tools对模型的性能进行了验证,结果表明:模型具有良好的可达性、有界性、活性和公平性。

摘要：针对航天器自动化运行管理任务的特点和需求,将过程感知信息系统PAIS领域的相关技术和思想应用于地面系统自动化任务流程的建模中,提出一种可视化的任务流程执行语言MOPEL。给出语言的元模型、核心建模元素以及基于MOPEL的系统设计和应用分析。该建模方法具有层次结构清晰的元模型、直观易懂的建模标注符号、规范的元素语义,支持可视化的实时任务流程建模、分析验证、仿真和自动运行及监控,对于实现可靠、实时、灵活的航天器自动化运行管理系统具有重要的应用价值。

摘要：静态体系结构模型中的各种要素以及它们之间的信息流是以静态的方式描述的,无法显露体系结构设计的薄弱环节和瓶颈。对此,基于SA Simulator流程仿真工具,开展了流程模型的建模与仿真。通过对SA Simulator流程仿真工具的原理及仿真流程的分析,以美国导弹防御系统为背景,在明确其主要作战要素(作战任务、作战节点及作战过程)之后,使用SA Simulator该流程仿真工具,基于IDEF3方法建立了导弹防御指控流程模型;从IDEF3规则、进程流的属性设置及关系配置与分配两个方面对模型进行验证。最后,进行流程仿真,研究了战略指控系统节点使用率、活动平均执行时间对指控流程的性能影响,并提出了相应的改进措施,以改进、优化导弹防御指控体系结构。

摘要：在分析现有柔性流程建模方法的基础上,总结柔性流程建模的实现途径。在面向角色的柔性流程建模方法中采用角色类的划分和角色的动态选取和配置,简化流程的构造。同时提出将Agent技术和Services相结合,设计一种面向角色服务的、封装的、分层的和去耦合的建模系统,并讨论了基于服务组合的柔性流程建模的实现方案。

摘要：在仿真建模中,为了使建模工具简单易用、仿真运行高效,建立了三层仿真元模型体系结构,并在流程定义分析的基础上,结合扩展有向图建模方法,针对模型层研究了离散事件驱动的流程建模方法。基于该流程建模方法及XML文档形式化描述及数据传递技术,采用面向对象的设计方法,开发了适用于离散事件驱动的流程建模系统。该系统提供了简单的可视化流程建模工具,简化了建模流程,易于对模型的理解与交流。

摘要：针对流程建模过程中缺乏合理性验证以及所建模型过于庞大导致验证复杂的问题,在研究建模过程中结构变化的基础上,提出一种将最小变化区域的思想引入到流程建模过程中的方法。对所提出的方法使用Petri网作为分析工具,以具体系统为例进行了建模应用分析,并在建模过程中进行了合理性验证。分析比较结果表明,利用最小变化区域的思想进行建模可以降低复杂度,并能够在流程建模及模型验证等方面提高工作效率。

摘要：分析面向科学计算的业务流程的特点和需求,提出一种适用于科学计算的领域元模型及其智能流程建模语言(SPML),给出领域元模型的形式化描述以及SPML到业务流程执行语言的转换算法。在此基础上,设计并实现一种基于SPML的业务流程建模系统。分析结果表明,该系统既能帮助用户进行业务流程分析和抽象建模,又能生成可执行文件和部署文件,完成流程的自动化部署。