基于Petri网科技期刊在线办公系统模型.docVIP

基于Petri网科技期刊在线办公系统模型 　　摘要:为了降低建模难度、简化建模过程,同时又能保证所建模型的正确性,在科技期刊在线办公系统中采用工作流网(Workflow net,WF-net)技术进行建模与分析,对科技期刊在线审稿工作流程研究和分析,提出了一个科技期刊在线办公系统Petri网工作流模型,并对该模型进行了正确性分析。该模型成功地应用于某医学科技期刊在线办公系统项目中。 　　关键词:工作流;工作流网;Petri网;科技期刊;在线办公 　　中图分类号:TP311文献标识码:A文章编号:1009-3044(2010)21-6080-03 　　Sci-tech Periodical Online Office System Model of Based on Petri-net 　　SHI Hui,DONG Shao-ying 　　(Electronic Information Engineering Department of Guangzhou City Construction Collage, Guangzhou 510925, China) 　　Abstract: In order to reduce the difficulty of modeling, to simplifies the process of modeling and to ensures the correctness, the basic theories of Workflow net(WF-net) technology are applied in the Sci-tech periodical online review system which carried on the modeling to it and analyzed in this paper. The general processed of online review are analyzed, and its Petri net model was established. And moreover, the correctness of the model are analyzed. 　　Key words: workflow; WF-net; petri net; sci-tech periodical; online Office 　　随着Internet的飞速普及,作为刊载科学技术研究成果、传播科技信息、交流学术思想的科技期刊实现在线投稿与审稿可以大大缩短投稿和审稿周期,减少信息贬值,提高刊物质量,降低编辑劳动强度,节约办刊经费,方便作者投稿与查询[1]。目前,国内对期刊在线投稿与在线审稿(以下简称在线办公)系统的研究还不够完善,对描述在线办公工作流程的模型研究较少,适合众多中小规模期刊编辑部的系统更少。因此,设计和实现一个实用的科技期刊在线办公系统具有一定的现实意义。 　　针对科技期刊在线办公的业务过程特点,可以采用工作流技术来对其进行建模和分析。工作流是人们为了提高办公效率,针对工作中具有固有程序的常规活动提出的一个概念。目前的各种工作流模型主要分为两类,一类是从直观感觉出发,以图形语言或者文本语言来定义工作流过程。这种定义的方法实际上仅仅是处于用户层上,并不利于实际系统的实现,也无法对工作流的本质特征进行描述,更谈不上对过程的分析与评价。另一类是模型具有形式化的数学描述,如Petri网。但经典Petri网并不适合于直接描述业务过程,需要对其加以改进[3-4]。 　　1 基于Petri网的工作流建模 　　Petri网作为一种形式化描述工具,拥有精确的数学定义,主要用来进行系统设计、分析和模拟。它既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础,使得建立描述系统性能的数学模型成为可能,是一种适用于多种系统的图形化、数学化建模工具,为描述并行、异步、分布式和随机性等特性的复杂系统提供了强有力的手段。其特点在于它善于描述系统的变化,包括变化发生的条件、变化的结果以及变化之间的内在联系。采用Petri网对工作流进行建模独到的优越之处在于:①Petri网是一种适用于多种系统的图形化、数学化建模工具,既可以用于静态的结构分析,也可以用于动态的行为分析;①Petri网对静态的结构分析和动态的行为分析都可以进行,是一种适用于多种系统的图形化、数学化建模工具;②Petri网对活动的功能与活动的执行进行了严格区分,是一种基于状态的建模方法;③Petri网提供了诸如有界性(安全性)、活性(无死锁)、不变量 [3-5]等定量和定性的分析技术。 　　但经典Petri网在描述真实