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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

印染生产过程的仿真和优化

针对印染生产过程中生产设备之间切换成本、生产设备负荷平衡的问题,分析生产过程中的瓶颈设备来优化瓶颈设备使用、提高利用率,研究订单式印染生产过程.采用分层赋时着色Petri网(HTCPN)技术建立生产过程的模型,并将该模型转化成Witness仿真模型.分析模型的运行状态与结果,对模型进行优化,分析生产过程设备的瓶颈.仿真结果验证了HTCPN模型的可操作性与有效性,从而为企业制定合理的车间生产计划提供理论依据,提高了生产设备和装置运行效率,缩短了生产周期.     

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

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

基于设计信息约束网的产品设计过程建模与仿真

从产品设计过程动态离散系统管理的实际需求出发,以在产品设计信息约束条件下设计活动的管理和优化为中心,提出设计信息约束网的概念,解决了各设计活动间信息约束关系的表达,给出了由设计信息约束网向基于Petri网的工作流模型转换的算法和步骤。最后,以某商用办公楼设备设计过程为例,进行建模和仿真分析,利用CPN Tools仿真软件验证了本文方法的正确性和有效性。     

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

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

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

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

Petri网在工作流技术中的应用

论述了Petri网理论和工作流技术,探索了Petri网和工作流技术相结合的优势和可行性,讨论了如何运用Petri网理论实现工作流管理系统部件——过程定义工具的分析功能,并部分实现了分析功能。     

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

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