基于Petri网的工作流模型验证

【作者】 任荣升

【导师】 徐建良;

【作者基本信息】 中国海洋大学 , 计算机应用技术, 2007, 硕士