基于Petri网协同三维建模工作流模型研究.docVIP

基于Petri网协同三维建模工作流模型研究 　　摘 要:通过分析大规模三维场景单机建模所面临的局限性问题,对三维场景协同建模理论进行了描述。结合workflow net的定义以及建立工作流模型的方法,采用基于Petri网扩展的、用于复杂工作流模型设计的建模方法建立协同三维建模的工作流模型,并通过Petri网相关理论分析得出所建模型具有可达性、有界性、活性,并且是安全可靠的,同时对系统中必须加以解决的并发问题进行了相关的探讨。 　　关键词:协同建模; Petri网; 工作流; 可达性; 可覆盖性树 　　中图分类号:TP391文献标志码:A 　　文章编号:1001-3695(2009)09-3300-04 　　doi:10.3969/j.issn.1001-3695.2009.09.028 　　 　　Research on workflow model of cooperative three-dimensionalmodeling based on Petri net 　　WEIShuang??a,b??, ZHAO Hong-ling??b??, ZHANGTao??a,b??, WANG Zong-min??b?? 　　(a. College of Information Engineering, b.Henan Provincial Key Lab on Information Network, Zhengzhou University, Zhengzhou 450001, China) 　　Abstract:By analyzing the problems of single modeling large-scale virtual three-dimensional scene and considering the collabo??-rative theory in scene modeling, this article described the theory of collaborative modeling of three-dimensional scene. And then built the Petri net model using workflow-net and its associated rules, which was based on Petri net and used for complicated workflow model design. Through analysis of the Petri net theory, provided the accessibility, community, activity, safe and reliable of the model, meanwhile discussed concurrent problem that needed to be solved within the system. 　　Key words:collaborative modeling; Petri net; workflow; accessibility; coverability tree 　　 　　0 引言 　　 　　近年来,虚拟校园、虚拟城市等作为一种可视化的信息平台[1],其包含的信息量越来越丰富,规模也越来越大,给场景建模和管理带来极大挑战。以往的建模方法和工具没有考虑网络技术的应用,只是单机集中完成建模,不仅工作效率低,也不利于基于网络的协同建模,已经满足不了实际生产的需求。解决这一问题的一个可行方法就是为三维模型的建模系统提供协作成员之间的协同支持,建立相应的计算机辅助协同建模系统,这有利于多空间分布的建模人员能够根据自己的建模任务共同创建分布式模型对象,从而高效地完成建模的工作。计算机支持的协同工作(computer supported cooperation work,CSCW)是一个利用计算机技术、网络与通信技术、多媒体技术、人机接口技术,将时间上分离、空间上分布,而工作上又相互依赖的多个协作成员及其活动有机地组织起来,以共同完成某一项任务的分布式计算机环境[2]。随着计算机通信、分布式计算机、多媒体技术等的发展,CSCW正从概念逐步走向应用。文献[3]在对网络化协同产品开发基本概念和内涵特征进行详细分析的基础上,依次从概念模型、协同模型和形成过程三个方面对网络化协同产品开发机理进行深入研究,构建由组织模型、过程模型、产品模型和资源模型四类子模型所组成的网络化协同产品开发概念模型,分析协同发生的三维场景(时间维、空间维和对象维),探索网络化协同产品开发的形成过程。文献[4]针对当前油田注水生产现