Hierarchical object-oriented Petri net for scenario-based functional behaviors modeling = 시나리오 기반의 기능적 행위 모델링을 위한 계층 구조의 객체지향 페트리 넷