For the most recent entries see the Petri Nets Newsletter.

Formal Modeling Methodologies for Manufacturing Systems Control: Survey and Comparison.

Castillo, I.; Smith, J.S.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography