1277.122 유한 상태 머신과 페트리 넷의 상호 변환