複数の状態マシンが同時に動作するシステムのモデル化で重要な概念はどれか。

並行動作するシステムでは、各状態マシン間でのイベントの同期や通信のモデル化が不可欠である。