In: Proceedings of the 19th International Symposium on Automotive Technology and Automation (ISATA), 1988, Monte Carlo, Monaco; with Particular Reference to Cell Control and Quality Management Systems for the Manufacturing Industries, Vol. 1., pages 427-443. Croydon, UK.: Allied Autom., 1988.
Abstract: A three level approach is presented for the specification of process control software for flexible robot cell systems. On the first level a task independent representation of the discrete event system flexible robot cell is given using high level Petri nets. In the second level the predicate transition net model is transformed in a PROLOG notation. The connection of the PROLOG specification with the robot simulation system ROSI or the real environment represents the third level.