文件名称：论文研究-基于Petri网的协同三维建模工作流模型研究.pdf
文件大小：450KB
文件格式：PDF
更新时间：2022-08-11 14:20:16
协同建模,Petri网,工作流,可达性,可覆盖性树
通过分析大规模三维场景单机建模所面临的局限性问题，对三维场景协同建模理论进行了描述。结合workflow net的定义以及建立工作流模型的方法，采用基于Petri网扩展的、用于复杂工作流模型设计的建模方法建立协同三维建模的工作流模型，并通过Petri网相关理论分析得出所建模型具有可达性、有界性、活性，并且是安全可靠的，同时对系统中必须加以解决的并发问题进行了相关的探讨。