{"type":"ScholarlyArticle","title":"The Pipelining Transformation on Plans for Manufacturing Cells with Robots","authors":[{"name":"Erik Sandewall","slug":"erik-sandewall","given":"Erik","family":"Sandewall","affiliation":""}],"abstract":"The plan or program for a manufacturing cell may be seen either from the workpiece (describing the successive operations that it wants to undergo during its track through the cell) or from the perspective of the workcell (describing its quasi-parallel operation on several workpieces which are processed simultaneously in the cell). This paper addresses the question of how to verify that a proposed cell program implements a given workpiece program. The verification method is described informally using an example, and then formulated in precise and formal terms.","doi":null,"url":"https://ijcai.org/proceedings/1987/216","pdf":"https://ijcai.org/proceedings/1987/0216.pdf","markdown":"https://ijcai.org/proceedings/1987/216.md","bibtex":"https://ijcai.org/proceedings/1987/bibtex/216","volume":{"slug":"1987","title":"Proceedings of the Tenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1987","url":"https://ijcai.org/proceedings/1987/","year":1987,"location":"Milan, Italy","dates":"","editors":"John McDermott","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Reasoning","track":"Reasoning","number":216,"pages":{"first":1055,"last":1061},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}