1277.119 페트리 넷과 유한 상태 머신의 비교