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

作     者：魏爽 赵红领 张涛 王宗敏 WEI Shuang;ZHAO Hong-ling;ZHANG Tao;WANG Zong-min

作者机构：郑州大学信息工程学院郑州450001 郑州大学河南省信息网络重点开放实验室郑州450001 

基　　金：河南省自然科学基金资助项目(0611051900) 

出 版 物：《计算机应用研究》 (Application Research of Computers)

年 卷 期：2009年第26卷第9期

页      码：3300-3303页

摘      要：通过分析大规模三维场景单机建模所面临的局限性问题,对三维场景协同建模理论进行了描述。结合workflow net的定义以及建立工作流模型的方法,采用基于Petri网扩展的、用于复杂工作流模型设计的建模方法建立协同三维建模的工作流模型,并通过Petri网相关理论分析得出所建模型具有可达性、有界性、活性,并且是安全可靠的,同时对系统中必须加以解决的并发问题进行了相关的探讨。

主 题 词：协同建模 Petri网 工作流 可达性 可覆盖性树 

学科分类：081203[081203] 08[工学] 0835[0835] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1001-3695.2009.09.028

馆 藏 号：203156361...