Issue No. 06 - December (1994 vol. 6)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.334880
<p>Focuses on the development of a methodology within a software environment for automating the rule-based implementation of specifications of integrated manufacturing information systems. The specifications are initially formulated in a natural language and subsequently represented in terms of a graphical representation by the system designer. A new graphical representation tool is based on updated Petri nets (UPN) that we have developed as a specialized version of colored Petri nets. The rule-based implementation approach utilizes the similarity of features between UPN and the general rule specification language used for the implementation. The automation of the translation of UPN to the rule specification language is expected to considerably reduce the life-cycle for design and implementation of the system. The application presented deals with the control and management of information flow between the computer-aided design, process planning, manufacturing resource planning and shop floor control databases. This provides an integrated information framework for computer integrated manufacturing systems.</p>
computer integrated manufacturing; information systems; Petri nets; graph colouring; CAD/CAM; specification languages; knowledge verification; knowledge based systems; computer aided production planning; rule-based information systems; computer integrated manufacturing systems; natural language; graphical representation tool; updated Petri nets; colored Petri nets; rule-based implementation approach; feature similarity; rule specification language; life-cycle reduction; information flow control; information flow management; computer-aided design; process planning; manufacturing resource planning; shop floor control databases; integrated information framework; system modeling; knowledge verification; reasoning; language translation
L. Mark, G. Harhalakis, P. Muro-Medrano and C. Lin, "Implementation of Rule-Based Information Systems for Integrated Manufacturing," in IEEE Transactions on Knowledge & Data Engineering, vol. 6, no. , pp. 892-908, 1994.