PDM系统中工作流与过程管理模型的建立

介绍了PDM系统中工作流和过程管理的功能和组件层次,探讨了工作流管理系统的体系结构和工作流过程管理的模型,给出了工作流实现的类模型,研究了工作流和过程管理的关键技术并给出具体的实现方法.将着色时间Petri网引入到PDM的工作流管理系统中,将基于Petri网的并行式工作流模型应用于PDM系统中,用可达图来分析Petri网工作流模型的静态和动态的结构性能,给出了审批流程的着色时间Petri网模型和流程的变迁过程,在最后的实例中说明了工作流管理的具体实现和工作流的执行过程.     

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

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

基于Petri网的不确定时间工作流成本分析

为了实现对不确定时间工作流Petri网的成本控制,在原型Petri网的基础之上,基于模糊理论,通过建立模糊时间Petri网,实现对不确定性时间信息的全面描述.在考虑工作流具体运作的情况下,扩展模糊时间Petri网,设定定义在变迁集上的价格函数,从而提出不确定时间价格Petri网.而后规定了该网的化简规则和算法,并通过实例演算该流程.     

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

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

基于Petri网的应急管理工作流模型

讨论了由Petri网发展起来的工作流网WF-net的定义、工作流执行结构及任务触发方法,引入WF-net建立应急管理信息系统工作流模型,提出了一种基于Petri网工作流模型的建模方法及其相关规则．以一个省级应急管理系统为例,详细阐述了构建Petri网工作流模型的过程,并利用验证工具对该模型进行了正确合理性分析．     

基于工作流的安全库所替换网特性研究

基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明:用稳固工作流网对原Petri网系统的安全库所进行替换之后,得到的替换网系统能保持原网系统的活性、有界性、可回复性;同时,若原Petri网系统是安全的,则替换网系统是有界的,但是由于工作流网本身不具备公平性、持续性等性质,替换网系统不能保持原Petri网系统的公平性和持续性.     

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

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

基于时间Petri网的铁通调度指挥系统建模与分析

在分析了铁通调度指挥系统(TDS)建模存在的问题后,本文提出了基于时间Petri网的铁通调度指挥系统工作流模型.在此模型中,用时间Petri网表示工作流模型,并分析了基本结构的时序关系.利用在线性时间复杂度内解决时间推理问题的线性推理规则,本文用时间Petri网建立了TDS停机停线的工作流模型.最后,对TDS停机停线的时间性能进行了分析.     

一类含T-图环结构受控网显式控制器设计

定义并研究了T-图工作流网的结构和相关性质,提出一种基于T-图工作流网的替换规则,在此基础上,根据树Ⅰ型和树Ⅱ型的结构特点,构造2种新类型的Petri网子类,即T-图工作流—树Ⅰ型和T-图工作流—树Ⅱ型的Petri网.利用T-图工作流子网替换前后原网系统和替换网系统对同名库所权矢量的界保持不变的替换特性,给出一种适用于前向子网为T-图工作流—树I型或者T-图工作流—树Ⅱ型的受控Petri网显式控制器设计方法,应用示例表明:所提出的方法适用于一类最大不可控子网含T-图环结构时的受控Petri网显式控制器设计.     

一类含T-图环结构受控网显式控制器设计

定义并研究了T-图工作流网的结构和相关性质,提出一种基于T-图工作流网的替换规则,在此基础上,根据树Ⅰ型和树Ⅱ型的结构特点,构造了两种新类型的Petri网子类,即T-图工作流—树Ⅰ型和T-图工作流—树Ⅱ型的Petri网,利用T-图工作流子网替换前后,原网系统和替换网系统对同名库所权矢量的界保持不变的替换特性,提出一种适用于前向子网为T-图工作流—树I型或者T-图工作流—树Ⅱ型的受控Petri网显式控制器设计方法,应用示例表明所提出的方法可适用于一类最大不可控子网含T-图环结构时的受控Petri网显式控制器设计.     

Petri网在OA系统工作流中的应用

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.     

基于Petri网的企业科技项目管理工作流建模

科技项目管理是企业信息系统的重要组成部分，利用Petri网，对复杂的科技项目管理工作流程建模，解决企业信息化中较为复杂的科技项目管理工作流问题。同时，以企业科技项目申请流程为例，给出了相关定义，分析和解决设计流程中遇到的几个问题。     

工作流建模技术在出版信息系统中的应用

工作流建模非常复杂,目前还没有一个专门的建模工具满足工作流建模的要求,在探讨和总结当前比较流行的几种工作流建模方法优劣的基础上分析了工作流网技术,最后将该技术成功应用在出版社的工作流过程建模中.     

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

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

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

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

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

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

工作流网的混或检测和预防策略

独立的冲突和并发在基于Petri网的工作流建模中分别起到进程选择控制和保持系统高效执行的作用.但非独立的冲突和并发会导致不完整和不确定的冲突行为使得系统的冲突行为分析变得困难.这种现象被称为混或并经常出现在工作流网中.首先,将混或形式化为具有冲突和并发限制的一类特殊的标识子网,通过分析子网特征提出混或检测算法.其次,构建了基于广义互斥约束的混或预防监控器设计方案.最后,用一个工作流网实例对提出算法进行仿真,仿真结果表明,提出的方法能够有效地在工作流网中检测和预防混或.