封富君; 第二炮兵工程学院计算机与指挥自动化系; 林闯; 蒋屹新; 李俊山; 作者单位 中国计算机学会; 会议组织 正文语种 原文格式 PDF 中图分类 形式语言理论; 关键词 Petri网; Kripke结构; 工作流模型; 抽象方法; 分解; 相似文献 中文文献 外文文献 专利 1. 基于Petri网和抽象方法的工作流模型分解...