Formal integration of process planning and shop floor control with petri nets

  • Lee, Kyung-Huy (Department of Industrial Engineering, KyungPook SanUp Univ.)
  • Published : 1996.04.01

Abstract

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.

Keywords