混成系统的描述与验证理论研究
60173002
2001
F0201.计算机科学的基础理论
王捍贫
面上项目
教授
北京大学
18万元
描述与验证.;混成系统;时段演算.
2002-01-01到2004-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | 工作流逻辑模型分析 | 期刊论文 | 徐春香，黄雨，王捍贫 |
| 2 | 工作流模型精化及验证 | 期刊论文 | 黄雨，袁崇义，王捍贫， |
| 3 | Property-Transition-Net-Based | 期刊论文 | Yu Huang, Hanpin Wang*, Peng Y |
| 4 | 库所组合有色网——一种新型的有 | 期刊论文 | 霍金健，袁崇义，屈婉玲 |
| 5 | 基于时间点的区间时态逻辑TITL1 | 期刊论文 | 孙泉，王捍贫 |
| 6 | SimNet：一种新型的工作流仿真模 | 期刊论文 | 霍金健，徐春香，屈婉玲，袁崇义 |
| 7 | Stochastic modeling and qualit | 会议论文 | Xia Yunni, Wan Hanpin*, Huang |
| 8 | Property-Transition-Net-Based | 会议论文 | Yu Huang, Hanpin Wang*, Peng Y |
| 9 | A Petri Net Semantics for Web | 会议论文 | Yu Huang, Hanpin Wang* |
| 10 | Unity的时间语义描述及其在程序 | 期刊论文 | 孙泉，王捍贫 |
| 11 | 用Petri模型对IEEE1394协议进行 | 期刊论文 | 叶珮,王捍贫,袁崇义 |
| 12 | 工作流过程的Petri网建模方法 | 期刊论文 | 黄雨，徐春香，王捍贫 |
| 13 | Completeness of temporal logic | 期刊论文 | Hanpin Wang, Qiwen Xu |
| 14 | 工作流分层模型的PNML表示 | 期刊论文 | 霍金健,黄雨 屈婉玲 袁崇义 |
查看更多信息请先登录或注册
