摘要
本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,并对协作Petri网模型的性质进行了分析.
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.
出处
《南开大学学报(自然科学版)》
CAS
CSCD
北大核心
2004年第3期43-48,共6页
Acta Scientiarum Naturalium Universitatis Nankaiensis
基金
天津市重点基金资助项目(033800711)国家863资助项目(2003AA415910)