학술논문

High Level Petri Net을 이용한 열차제어시스템 모델링에 관한 연구 / A Study on the Modeling of Train Control Systems Using High Level Petri Net
Document Type
Dissertation/ Thesis
Source
Subject
Petrinet
Traincontrol
Interlocking
modeling
Language
Korean