In: Texas A&M University Industrial Engineering Working Paper. July 1999.
Abstract: Over the last two decades, several formal modeling methodologies have emerged. In the manufacturing systems control domain, these methodologies are directed towards integrating the requirements specification, the design, and the implementation of the system controller into a consistent process, supported by efficient analysis and development tools. The search for a single methodology powerful enough to span all the stages of the development life cycle of a formal model, however, has proven more difficult than expected. This paper presents a survey of several formal modeling methodologies that have been used for manufacturing systems control. Furthermore, the methodologies are classified and compared based on their expressive power, their verification power, their level of abstraction, and their span in relation to the formal model's development life cycle.
Keywords: Formal Modeling Methodologies; Manufacturing Systems Control; Petri Nets.