This paper presents a new intelligent modeling methodology for manufacturing systems. This methodology captures the structure, behavior and functionality of the system as a whole and of its components, emphasizing the cause-effect relations between the components.
The building blocks of the modeling approach are activities, information items that flow among the activities, and rules governing the behavior of the activities. The methodology supports a hierarchical structure in which each module can be further detailed.
In addition, the methodology supports various types of analysis such as reachability analysis, backward connectivity, and analysis of rules consistency.
The modeling of the system is performed using the KEE environment on a SUN 3/60 workstation.