基于petri网的电子政务工作流建模研究

以电子政务系统中的审批子系统为例,研究了一种基于Petri网的电子政务工作流建模方法,该方法是工作流建模和分析的理想工具．具有完全形式化的图形表示和坚实的数学基础。在建立电子政务工作流工作流模型的基础上,论证了该方法的正确性,表明该方法对电子政务系统建模是实用的。     

基于UML活动图和Petri网电子政务工作流建模研究

通过对电子政务系统中投诉管理子系统的描述,提出了一种基于UML活动图与Petri网的电子政务工作流建模方法。该方法具有完全图形化的表示和坚实的数学基础,是一种工作流建模和分析的理想工具。在建立电子政务工作流模型的基础上,对该方法进行了正确性论证,表明该方法对电子政务系统的实用性和有效性。     

基于Petri网的工作流在电子政务系统中的建模与分析

电子政务系统是目前研究和开发的热点之一。采用基于Petri网的工作流对电子政务系统进行了建模与分析，首先说明了在工作流中运用Petri网的优点，然后将Petri网与工作流相结合，建立了电子政务系统的工作流网模型，最后运用Petri网理论对所建模型的正确性进行了定性分析，并对模型的子系统网上投诉系统的资源分配情况进行了定量分析。     

基于XML的电子政务工作流模型的研究与实现

根据电子政务系统应用的实际,在工作流参考模型的基础上,提出了一种基于XML的电子政务工作流模型,建模主要对流程、活动和转移进行,给出了电子政务工作流模型的XML描述。此模型实现起来简单灵活,易于扩展。     

基于Petri网的工作流技术在电子政务中的应用

工作流技术在现在以及将来都是计算机应用领域的一个研究热点,工作流技术支持的电子政务系统具有良好的适应性和灵活性。该文研究了工作流技术在电子政务系统中的特点及应用,提出了适合政务领域的通用工作流模型,并简要地介绍了基于Petri网的工作流模型,结合具体的实例,分析了WFOA开发中模型的建立及流程的管理和监控,实现了工作流管理系统的Petri网建模。     

基于Petri网的工作流技术在电子政务中的应用

工作流技术在现在以及将来都是计算机应用领域的一个研究热点,工作流技术支持的电子政务系统具有良好的适应性和灵活性。该文研究了工作流技术在电子政务系统中的特点及应用,提出了适合政务领域的通用工作流模型,并简要地介绍了基于Petri网的工作流模型,结合具体的实例,分析了WFOA开发中模型的建立及流程的管理和监控,实现了工作流管理系统的Petri网建模。     

动态工作流技术在电子政务系统中的应用研究

针对目前在复杂、随机多变的电子政务系统中的工作流技术及产品的自适应能力差的问题,提出了一种可嵌套流程的动态电子政务工作流的新方法。将WFMC工作流技术和办公领域知识有机融合,通过扩充使基于静态模板流程的传统工作流模型动态化。该方法已经用于贵州区县政务系统和行政审批在线系统中,应用试验表明,该方法是可行且有效的。     

基于Petri网的OA工作流模型研究

通过对办公自动化系统中的发文管理实例的描述,提出了一个基于Petri网的办公自动化工作流建模方法,该方法具有完全形式化的图形表示和坚实的数学基础,是一种工作流建模和分析的理想工具.在建立办公自动化系统的工作流模型的基础上,讨论了基于Petri网的工作流建模方法,并对该方法进行了正确性论证,表明该方法对于办公自动化系统的实用性和高效性.     

工作流技术在行政权力网系统的应用研究

行政权力网上公开运行是政府部门一项重要职能和义务,也是政府为市民、企业提供服务的重要方式,因而是电子政务建设的一项重要内容。本文借助工作流引擎进行流程定制,,把工作流管理和行政权力网上运行系统有效的结合起来,构建基于有向图工作流建模、柔性工作流引擎的行政权力网上运行系统。     

一种构件化工作流管理系统

工作流管理系统是实现各种信息管理系统工作过程自动化的核心模块。本文提出一种工作流元模型和基于该元模型进行工作流建模的方法,并实现一个构件化的工作流管理系统。该系统支持基于元模型的工作流建模,提供工作流运行的环境,并可以构件的方式集成到外部系统中。     

基于Petri网的柔性制造系统作业调度研究与实现

选择面向对象的有色Petri网对FMS进行建模,研究FMS调度控制问题.本文针对柔性制造系统的特点,采用面向对象的着色Petri网建立了由工件、机床、运送和仓贮对象等组成的模型.模型是一个包括加工系统、物流系统、管理系统在内的一个完整的FMS模型.该模型由于采用了面向对象技术,具有可移植性、可扩展性的特点,并且易于用软件去实现,本文使用"映射"法,把库所映射为软件数据、变迁映射为程序函数和方法、子系统映射为软件系统基本类,从而把FMS Petri网模型转化为FMS控制管理软件程序.本文采用简易的工艺文件数据,对FMS控制管理软件运行进行了测试.通过对测试结果的分析,验证了本文所建立的FMS物流系统模型和设计的FMS柔性生产线控制管理软件的正确性和有效性.     

主动数据库规则集的Petri网建模

讨论了利用Petri网作为建模工具对主动数据库中ECA规则集的建模问题.建立了存储ECA规则状态的Pelri网子网结构,用此子网可构造出单奈规则的Petri网结构,再由单条规则的Petri网构造整个规则集的Petri网模型.结果表明,用Petri网建模能准确地表达主动数据库规则集的语义,并且有利于进一步分析规则集的动态行为特征.     

军用装备维修保障系统面向对象Petri网建模

Petri网模型是离散事件动态系统(DEDS)建模的有利工具,但传统的Petri网模型存在模型结构复杂、缺少时间描述等不足。该文在装备维修保障系统建模中,结合应用面向对象技术和有色Petri网、赋时Petri网理论,提出了将面向对象思想与赋时Petri网相结合进行装备维修保障系统建模的方法,并应用该方法对已有的空军通信导航装备维修保障系统Petri网模型进行了对象化和赋时改造,使得新建模型结构更加简约、直观,有利于扩展和仿真实现,并且具备时间描述功能。     

基于OPN的指控能力包服务动态组合方法研究

服务组合方法对于分布式网络环境下基于SOA的军事应用系统的综合性能影响很大.提出了一种基于OPN的服务动态组合方法的解决方案.首先定义了基于对象Petri网的指控能力包服务描述和组合模型,对服务组合的数学算子进行了分析和证明,而后给出了基于OPN的服务动态组合流程,最后使用国防科大对象Petri网建模仿真环境工具对提出的服务组合模型进行建模仿真,并对实验数据进行了分析.     

结构化组合补偿抽象精化性质研究

为解决松耦合Web事务复杂业务流程的建模问题,确保组合事务的可靠性和一致性,提出一种基于配对Petri网的结构化组合补偿精化方法,实现复杂多伙伴业务流程的抽象层次建模.定义了4种基于配对Petri网的基本组合补偿结构:顺序、并行、选择和循环结构.引入组合流程精化和组合补偿抽象的定义,分析了复杂业务流程的精化和抽象过程,给出了精化流程应满足的性质.通过具体业务实例验证了该精化和抽象方法的可行性.     

Feature based models for manufacturability assessment

This paper presents a Petri-net based modeling tool which enables part programs to be converted to a format which can be analyzed. The method builds upon individual “feature net” and a set of union rules to obtain a complete net of the model. The product manufacturability can be analyzed accordingly. The Petri-net properties of the model are presented in terms of safeness, boundedness, strict conservation, reachability and liveness. The robustness of the system is imbedded into the model with the introduction of cutting condition control, path reachability, and the concept of deadlock free systems. Two structures, line and arc, are presented to illustrate the effectiveness of the present approach. The results shows the strength of Petri-net theory in the modeling of complex part for manufacturability assessment.     

基于Petri网的办公自动化工作流建模

基于Petri网的建模方法具有坚实的数学基础和直观的图形表示,是对工作流建模和分析的理想工具。通过对办公自动化系统中的发文管理实例的描述,提出了一个基于Petri网办公自动化工作流模型,并对该模型进行了正确性验证,提高了办公自动化系统的实用和高效性。     

自动测试系统的随机Petri网模型及性能评价

提出了一种基于随机Petri网的自动测试系统建模方法,通过这种方法可以根据测试指标的要求生成最优的测试任务序列,节约测试时间,提高测试设备利用率,还可以预防自动测试系统出现死锁或资源冲突的情况.