|国家科技期刊平台
| 注册
首页|期刊导航|南京大学学报（自然科学版）|基于同步网的模型验证算法设计与工具实现

基于同步网的模型验证算法设计与工具实现

杨云毅 赵文 王立福 聂承启

南京大学学报（自然科学版）2005，Vol.41Issue(z1)：24-29,6.
✕
南京大学学报（自然科学版）2005，Vol.41Issue(z1)：24-29,6.

基于同步网的模型验证算法设计与工具实现

Algorithm Design and Tool Implementation for Workflow Model Verification Based on Syn_ net

杨云毅 1赵文 2王立福 2聂承启1

作者信息

  • 1. 江西师范大学计算机信息工程学院,南昌,330027
  • 2. 北京大学信息科学与技术学院,北京,100871
  • 折叠

摘要

关键词

模型验证/同步网/化简规则/PNML

分类

信息技术与安全科学

引用本文复制引用

杨云毅,赵文,王立福,聂承启..基于同步网的模型验证算法设计与工具实现[J].南京大学学报（自然科学版）,2005,41(z1):24-29,6.

基金项目

国家重点基础研究发展规划973资助项目(2002CB312006),国家863高技术研究发展计划(2002AA113171) （2002CB312006）

南京大学学报（自然科学版）

OACSCDCSSCI

0469-5097

访问量0
|
下载量0
段落导航相关论文