Article ID: | iaor2004117 |
Country: | United Kingdom |
Volume: | 41 |
Issue: | 8 |
Start Page Number: | 1739 |
End Page Number: | 1764 |
Publication Date: | Jan 2003 |
Journal: | International Journal of Production Research |
Authors: | Joshi S.B., Smith J.S., Qiu R.G. |
Keywords: | graphs |
This paper presents a formal model of the execution portion of shop-floor controllers that operate in a distributed control environment. This model, called a message-based part state graph (MPSG), represents the execution module of shop-floor controller as a communicating finite state machine. Individual controllers in a distributed environment communicate using the defined protocol to oversee floor operations. The aim has been to use this formal model as a basis for developing the control software. Known methods for generating lexical analysers based on the underlying deterministic finite automation model are used to generate the execution portion of shop-floor controllers. The implementation of the MPSG model in a hierarchical shop-floor control system is described.