摘要：建立飞行作战任务过程模型是综合运用态势评估、故障诊断等技术设计新一代智能座舱的基础,同时也可应用于飞行员的行为预测及评估。本文以战术轰炸任务为例,介绍了工作流网技术在飞行作战任务建模上的应用。针对传统Petri网不能体现态势变化对飞行员行为的影响,本文设计了带非齐次弧的分层Petri网应用于战术轰炸任务过程的工作流网建模中,使子网变迁的平均实施速率可以随着航线状态的变化而变化,同时给出了利用可达性定理证明工作流网合理性的方法。在子网中,设计了变λ随机Petri网应用于飞行员执行任务过程的建模中,并利用该模型分析了飞行员的稳定工作状态,为飞行员行为预测、评估建立基础。

摘要：随着转基因作物不断开发和推广应用,更多的转基因食品被投放到市场,其安全性也越来越受关注。我国对转基因作物及产品的监管不容乐观,生产企业的组织化程度不高,照搬国外的溯源系统会造成其与企业生产过程管理结合不紧密等诸多问题。本文结合我国转基因食品企业现有的生产流程及实际情况,基于工作流网基础理论,以转基因玉米为例,通过分析转基因玉米及产品生产过程中影响其基因特性和质量安全的重要环节,构建出完善的转基因作物及产品全程溯源模型,在模型的指导下,设计开发了转基因作物及产品全程溯源系统,具有理论价值和实践意义。

摘要：为了求解一类特殊的整数规划问题以对工作流网进行可达性分析和不变量计算,将该类问题进行归纳和抽象,提出向量目标整数线性规划问题的概念和标准模型;在传统整数规划问题求解方法的基础上,针对一类正定的向量目标整数线性规划问题设计了一种新的分支定界算法,以求取全部最优解;将工作流网不变量分解与恰当终结性验证等问题转换为前述向量目标整数规划问题,结合实例说明了该方法在工作流网性质分析中的应用。

摘要：现有的工作流网到程序设计语言的转换所生成的程序不仅可读性较差而且难以进行验证.针对这一情况,该文给出了一个工作流网到建模、仿真和验证语言(MSVL)的结构化转换工具PN2MSVL.该文首先定义了注释工作流网,然后以注释工作流网为中间模型,利用一组转换规则不断地压缩注释工作流网中的正规结构,最终得到MSVL程序.PN2MSVL生成的MSVL程序不仅具备更好的可读性,而且可以利用MSVL的支持工具MSV进行建模、仿真和验证.另外,该文通过一个应用实例详细地展示了PN2MSVL的执行过程,并通过大量的实验分析了PN2MSVL的可用性.

摘要：工作流过程定义可以采用不同的建模方法。工作流网是Petri网技术在工作流过程定义中的具体应用。工作流过程定义模型的正确性、可靠性在工作流网模型中使用Soundness特性表达。论文在介绍工作流网、工作流网模型的Soundness概念之外,给出了自由选择和Well-structured工作流网的Soundness验证方法。

摘要：工作流过程定义是工作流管理系统过程模型建立阶段的功能。工作流过程定义可以采取不同的建模方法,而工作流网是Petri网技术在过程定义中的具体应用。XPDL是工作流管理联盟提出的工作流过程定义语言,主要用于不同工作流产品过程定义之间的交换。文章在分析工作流网和XPDL特性的基础上,给出了工作流网向XPDL映射的方法。

摘要：为了精确、有效地量化分析和评估产品设计开发过程,提出了产品开发过程的多视图模型和基于任务结构的产品开发过程模型。应用工作流网与任务结构的相似性,结合产品功能实现的要求,对开发过程的任务结构图进行描述,实现了由产品开发过程的任务结构模型到工作流网的模型映射机制。针对金融机具纸币清分机的开发过程,进行了基于工作流网的设计过程验证,实现了产品设计开发过程中的任务分配和性能评估,以便对产品开发周期进行更量化、更精确的分析。

摘要：银行业务库门禁系统是一种对安全要求极高的出入口控制系统,作为业务库的第一道安全防线,该系统比普通门禁拥有更多的约束条件、更复杂的流程。先对比普通门禁和业务库门禁系统,由此引出定理合理的工作流网中加入约束后仍然是合理的工作流网。然后通过工作流网对普通门禁和业务库门禁系统进行了系统模型的建立,再采用YAWL Editor工具分析了所构建系统的正确性,最后使用软硬件协同设计的方法改进并实现了业务库门禁系统。实验结果验证了定理的正确性,同时表明基于工作流网的方法有效降低了门禁系统的设计难度,并在具体实现之前确保了设计的正确性,提高了系统的开发效率。

摘要：讨论了过程建模在MIS系统设计中的应用,介绍了工作流网的原理和采用工作流网作为建模工具的过程建模方法,并结合营销管理信息系统开发的实际,给出了一个基于工作流网的过程建模实例.

摘要：借助于某企业打假管理工作流程实例,利用工作流管理思想对打假流程进行分析,介绍了工作流网的概念、基本组件及触发机制,设计了打假工作流模型,并对模型正确性进行了验证分析,以求对打假工作信息化提供启示。