In: Computer-Integrated Manufacturing Systems, Vol. 2, No. 1, pages 11-20. February 1989.
Abstract: Functional design modeling and implementation of integrated manufacturing systems are discussed. Modules are identified which are usable for controlled integrated information flow. Generalized Petri nets formalize modeling and analysis. A PROLOG-based database interoperability language permits construction of the appropriate knowledge base for system control.
Keywords: knowledge-based prototype; computer integrated manufacturing; integrated information flow; generalized net; PROLOG; knowledge base.