节点文献

有效协作控制的Petri网模型和分析

THE PETRI NET MODEL AND ANALYSIS FOR THE ASYNCHRONOUS AND COOPERATIVE CSCW SYSTEM

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 邵秀丽李勇建罗勇

【Author】 SHAO Xiuli, LI Yongjian, LUO Yong( Department of Computer, Nankai University, Tianjin 300071, China; School of Economics and Management, Tsinghua University, Beijing 100084, China )

【机构】 南开大学信息学院清华大学经济管理学院南开大学信息学院 天津300071北京100084天津300071

【摘要】 本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,并对协作Petri网模型的性质进行了分析.

【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.

【关键词】 协作模式CSCWPetri网活性安全性
【Key words】 coordinated work’s modeCSCWPetri netlivenesssafeness
【基金】 天津市重点基金资助项目(033800711)国家863资助项目(2003AA415910)
  • 【文献出处】 南开大学学报(自然科学版) ,Acta Scientiarun Naturaltium Universitatis Nankaiensis , 编辑部邮箱 ,2004年03期
  • 【分类号】TP393.09
  • 【被引频次】4
  • 【下载频次】209
节点文献中: 

本文链接的文献网络图示:

本文的引文网络