摘 要:通过分析大规模三维场景单机建模所面临的局限性问题,对三维场景协同建模理论进行了描述。结合workflow net的定义以及建立工作流模型的方法,采用基于Petri网扩展的、用于复杂工作流模型设计的建模方法建立协同三维建模的工作流模型,并通过Petri网相关理论分析得出所建模型具有可达性、有界性、活性,并且是安全可靠的,同时对系统中必须加以解决的并发问题进行了相关的探讨。
关键词:协同建模; Petri网; 工作流; 可达性; 可覆盖性树
Research on workflow model of cooperative three-dimensionalmodeling based on Petri net
WEIShuanga,b, ZHAO Hong-lingb, ZHANGTaoa,b, WANG Zong-minb
(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.......