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

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