定義:
一個通信有限狀態(tài)自動機由一組有限狀態(tài)自動機的集合M和一組通道C組成。約定：網(wǎng)絡(luò)N=(M,C)；|M|=r
且N滿足：
l M={m1,m2,……mr}是一個有r個有限狀態(tài)機的有限集合；
l C={Cij：i,j≤r而且i≠j}是一個通道的有限集合；
l 對M中的每個自動機mi，是確定有限狀態(tài)機，其描述與FSM定義相同；
l C中的每個通道Cij表示mi到mj的通信通道。它是一個先進先出的隊列，mj從隊列的頭讀出數(shù)據(jù)作為輸入，mi把要向mj輸出數(shù)據(jù)送到隊列的尾部。
CFSM是描述互相通信的多臺網(wǎng)絡(luò)設(shè)備工作情況的常用方法。