Message-based Part State Graphs (MPSG): A formal model for shop-floor control implementation

J. S. Smit, S. B. Joshi, R. G. Qiu

Research output: Contribution to journalReview articlepeer-review

37 Scopus citations


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 automaton 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.

Original languageEnglish (US)
Pages (from-to)1739-1764
Number of pages26
JournalInternational Journal of Production Research
Issue number8
StatePublished - May 20 2003

All Science Journal Classification (ASJC) codes

  • Strategy and Management
  • Management Science and Operations Research
  • Industrial and Manufacturing Engineering


Dive into the research topics of 'Message-based Part State Graphs (MPSG): A formal model for shop-floor control implementation'. Together they form a unique fingerprint.

Cite this