共查询到10条相似文献，搜索用时 218 毫秒
1.
PDM系统中工作流与过程管理模型的建立 总被引：2，自引：0，他引：2
介绍了PDM系统中工作流和过程管理的功能和组件层次,探讨了工作流管理系统的体系结构和工作流过程管理的模型,给出了工作流实现的类模型,研究了工作流和过程管理的关键技术并给出具体的实现方法.将着色时间Petri网引入到PDM的工作流管理系统中,将基于Petri网的并行式工作流模型应用于PDM系统中,用可达图来分析Petri网工作流模型的静态和动态的结构性能,给出了审批流程的着色时间Petri网模型和流程的变迁过程,在最后的实例中说明了工作流管理的具体实现和工作流的执行过程. 相似文献
2.
工作流管理系统中时间约束意义重大.为了在工作流模型中引入时间因素,对模型的时间性能进行评估,提出一种基于扩展时间工作流网模型.通过对模型进行形式化定义,描述了模型到工作流过程模型的映射,并针对工作流网模型存在的4种基本逻辑结构,提出一种时间线性简化规则;运用此简化规则,对工作流网模型进行压缩,以便计算所建模型的时间性能.最后结合一个工作流实例,运用提出的简化规则对约束上的常量时间进行了初步分析. 相似文献
3.
在分析了铁通调度指挥系统(TDS)建模存在的问题后,本文提出了基于时间Petri网的铁通调度指挥系统工作流模型.在此模型中,用时间Petri网表示工作流模型,并分析了基本结构的时序关系.利用在线性时间复杂度内解决时间推理问题的线性推理规则,本文用时间Petri网建立了TDS停机停线的工作流模型.最后,对TDS停机停线的时间性能进行了分析. 相似文献
4.
访问控制是信息系统的一个重要安全保护机制,主体只有在被授权时才能对客体进行访问。应用有色时间Petri网对安全工作流模型进行了描述,并结合读/写安全策略对动态授权机制进行了应用分析。应用基于有色时间Petri网的工作流模型可以降低数据误用的危险性。 相似文献
5.
基于Petri网的应急管理工作流模型 总被引：2，自引：0，他引：2
讨论了由Petri网发展起来的工作流网WF-net的定义、工作流执行结构及任务触发方法,引入WF-net建立应急管理信息系统工作流模型,提出了一种基于Petri网工作流模型的建模方法及其相关规则．以一个省级应急管理系统为例,详细阐述了构建Petri网工作流模型的过程,并利用验证工具对该模型进行了正确合理性分析． 相似文献
6.
基于活动的工作流关键路径算法 总被引：1，自引：0，他引：1
计算关键路径是研究工作流时间问题的重要步骤,现有算法大多是基于工作流控制结构的规约与化简的,对工作流模型要求较高,不能计算控制结构的"部分覆盖",限制了其应用.首先给出一个描述活动延迟的工作流模型,然后将工作流网看作一个M/M/1队列网,讨论工作流活动在各种结构中的到达率与时间延迟,提出一种基于活动的关键路径算法.算法降低了对工作流模型结构的要求,解决了控制结构"部分覆盖"的计算问题,提高了算法的实用性. 相似文献
7.
为了提高建筑产品设计过程资源管理效率,以产品设计信息约束条件下设计活动的资源管理和优化为中心,提出基于模糊时间有色工作流网的建筑产品设计过程资源管理模型的数学表达形式,加强了资源管理模型对系统动态模糊时间约束关系的支持,解决了对建筑产品设计过程资源管理的仿真和优化的关键问题.以某办公楼结构详细设计过程为例,构建基于模糊时间有色工作流网的建筑产品设计过程资源管理模型,利用CPNTools仿真软件进行资源管理仿真分析和优化研究,验证方法的正确性和实效性. 相似文献
8.
基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明:用稳固工作流网对原Petri网系统的安全库所进行替换之后,得到的替换网系统能保持原网系统的活性、有界性、可回复性;同时,若原Petri网系统是安全的,则替换网系统是有界的,但是由于工作流网本身不具备公平性、持续性等性质,替换网系统不能保持原Petri网系统的公平性和持续性. 相似文献
9.
针对目前工作流管理系统中时间管理研究现状,以基于时间Petri网的工作流建模方法为基础,把时态逻辑引入到控制流中,给出其形式化定义.借助相关的理论,全面、系统地分析该模型的时态特性,提出基本模型等效变化规则,对复杂工作流的进行时间约束的等效变换,对存在时间冲突的活动进行动态调整;最后以一个实例对文中提出的方法进行了论证... 相似文献
10.
分析传统RBAC授权模型直接用于工作流系统授权的不足之处，分析了传统授权模型对时间约束和责任分离约束支持的不足，构建了一个带有时间约束的基于角色的工作流系统授权模型，分析该模型对最小权限和责任分离要求的满足情况。 相似文献