节点文献
有效协作控制的Petri网模型和分析
THE PETRI NET MODEL AND ANALYSIS FOR THE ASYNCHRONOUS AND COOPERATIVE CSCW SYSTEM
【摘要】 本文利用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.
【关键词】 协作模式;
CSCW;
Petri网;
活性;
安全性;
【Key words】 coordinated work’s mode; CSCW; Petri net; liveness; safeness;
【Key words】 coordinated work’s mode; CSCW; Petri net; liveness; safeness;
【基金】 天津市重点基金资助项目(033800711)国家863资助项目(2003AA415910)
- 【文献出处】 南开大学学报(自然科学版) ,Acta Scientiarun Naturaltium Universitatis Nankaiensis , 编辑部邮箱 ,2004年03期
- 【分类号】TP393.09
- 【被引频次】4
- 【下载频次】209