| 有效协作控制的Petri网模型和分析 |
| |
| 引用本文： | 邵秀丽,李勇建,罗勇.有效协作控制的Petri网模型和分析[J].南开大学学报,2004,37(3):43-48. |
| |
| 作者姓名： | 邵秀丽 李勇建 罗勇 |
| |
| 作者单位： | 南开大学信息学院 天津300071
(邵秀丽)，清华大学经济管理学院 北京100084
(李勇建)，南开大学信息学院 天津300071(罗勇) |
| |
| 基金项目： | 天津市重点基金资助项目(033800711)
国家863资助项目(2003AA415910) |
| |
| 摘 要： | 本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,并对协作Petri网模型的性质进行了分析.
|
| 关 键 词： | 协作模式 CSCW Petri网 活性 安全性 |
| 文章编号： | 0465-7942(2004)03-0043-06 |
| 修稿时间： | 2002年2月25日 |
THE PETRI NET MODEL AND ANALYSIS FOR THE ASYNCHRONOUS AND COOPERATIVE CSCW SYSTEM |
| |
| SHAO Xiuli,LI Yongjian,LUO Yong.THE PETRI NET MODEL AND ANALYSIS FOR THE ASYNCHRONOUS AND COOPERATIVE CSCW SYSTEM[J].Acta Scientiarum Naturalium University Nankaiensis,2004,37(3):43-48. |
| |
| Authors: | SHAO Xiuli LI Yongjian LUO Yong |
| |
| Abstract: | The CSCW with asynchronous co-mode is discussed through Petri net model. Cooperation Petri net and cooperation colored Petri net are proposed and their properties and running rules are discussed. Furthermore, safeness liveness are verified. |
| |
| Keywords: | coordinated work's mode CSCW Petri net liveness safeness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
