Proceedings of the Korean Society of Precision Engineering Conference (한국정밀공학회:학술대회논문집)
- 1995.10a
- /
- Pages.864-867
- /
- 1995
- /
- 2005-8446(pISSN)
Formal Model 작성을 위한 Event Graph 모델링 연구
Abstract
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.
Keywords