한국정밀공학회:학술대회논문집 (Proceedings of the Korean Society of Precision Engineering Conference)
- 한국정밀공학회 1995년도 추계학술대회 논문집
- /
- Pages.864-867
- /
- 1995
- /
- 2005-8446(pISSN)
Formal Model 작성을 위한 Event Graph 모델링 연구
초록
Presented in the paper is a structured approach to modeling automated manufacturing system (AMS) in the form of an event graph. The proposed two-phase procedure for formal modeling is 1) reference modeling by schematic supervisory control modeling and 2) event graph transformation from supervisory control model. Also described is a formal model for a small-sized FMS in the form of an event graph.
키워드