摘要
基于通信顺序进程和资源向量的有关概念 ,提出了截断迹及截断迹集 ,研究了系统具有共享资源时标志容量的计算方法 ,提出了具有顺序共享资源制造系统
In compliance with CSP and resources vectors, the concepts of truncated trace and truncated trace set are proposed. A computation method for token capacity in a system with shared resources is formulated. Finally, the formal design theory and methodology of Petri net controllers for manufacturing systems with shared resources are discussed.
出处
《机械科学与技术》
CSCD
北大核心
2002年第3期488-490,共3页
Mechanical Science and Technology for Aerospace Engineering
