한국경영과학회:학술대회논문집 (Proceedings of the Korean Operations and Management Science Society Conference)
- 대한산업공학회/한국경영과학회 1996년도 춘계공동학술대회논문집; 공군사관학교, 청주; 26-27 Apr. 1996
- /
- Pages.619-622
- /
- 1996
Formal integration of process planning and shop floor control with petri nets
초록
This paper presents the formal integration of process planning and shop floor control with Petri net formalism. Formal integration means that both planning and control problems can be modeled, interfaced, and transformed with the Petri net formalism. This integrated framework provides a systematic approach for rapidly developing a formal shop floor controller from process planning with respect to shop floor configuration.
키워드