[詳解]
有限状態マシン 初期化時に最上位状態、RTCを指定する 最上位状態から開始し、その後イベントによって状態遷移する EventPortで受信したイベントは一旦バッファに保存されるため、 run_event関数を呼び出すことでバッファ内のイベントを実行する必要がある バッファは全てのEventPortで共有される