{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:50:46Z","timestamp":1761486646250},"reference-count":35,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence in Engineering"],"published-print":{"date-parts":[[1999,1]]},"DOI":"10.1016\/s0954-1810(98)00009-0","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:24:09Z","timestamp":1027657449000},"page":"69-81","source":"Crossref","is-referenced-by-count":12,"title":["Efficient planning for a miniature assembly line"],"prefix":"10.1016","volume":"13","author":[{"given":"Inger","family":"Klein","sequence":"first","affiliation":[]},{"given":"Peter","family":"Jonsson","sequence":"additional","affiliation":[]},{"given":"Christer","family":"B\u00e4ckstr\u00f6m","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0954-1810(98)00009-0_BIB1","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","article-title":"STRIPS: A new approach to the application of theorem proving to problem solving","volume":"2","author":"Fikes","year":"1971","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0954-1810(98)00009-0_BIB2","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0004-3702(87)90092-0","article-title":"Planning for conjunctive goals","volume":"32","author":"Chapman","year":"1987","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"10.1016\/S0954-1810(98)00009-0_BIB3","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(94)00080-K","article-title":"Complexity, decidability and undecidability results for domain-independent planning","volume":"76","author":"Erol","year":"1995","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0954-1810(98)00009-0_BIB4","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0004-3702(94)90081-7","article-title":"The computational complexity of propositional STRIPS planning","volume":"69","author":"Bylander","year":"1994","journal-title":"Artificial Intelligence"},{"issue":"4","key":"10.1016\/S0954-1810(98)00009-0_BIB5","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1111\/j.1467-8640.1995.tb00052.x","article-title":"Complexity results for SAS+ planning","volume":"11","author":"B\u00e4ckstr\u00f6m","year":"1995","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0954-1810(98)00009-0_BIB6","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(92)90028-V","article-title":"On the complexity of blocks-world planning","volume":"56","author":"Gupta","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0954-1810(98)00009-0_BIB7","unstructured":"Chenoweth SV. On the NP-hardness of blocks world. In: Proceedings of the 9th (US) National Conference on Artificial Intelligence (AAAI-91). American Association for Artificial Intelligence, Anaheim, CA, USA, July 1991. Cambridge, MA: AAAI Press\/MIT Press, 1991:623\u2013628."},{"issue":"1","key":"10.1016\/S0954-1810(98)00009-0_BIB8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/08839518908949915","article-title":"A system and control theoretic perspective on artificial intelligence planning systems","volume":"3","author":"Passino","year":"1989","journal-title":"Applied Artificial Intelligence"},{"key":"10.1016\/S0954-1810(98)00009-0_BIB9","doi-asserted-by":"crossref","first-page":"1004","DOI":"10.1109\/9.231456","article-title":"Meeting the challenge of computer science in the industrial applications of control: An introductory discussion to the special issue","volume":"38","author":"Benveniste","year":"1993","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"10.1016\/S0954-1810(98)00009-0_BIB10","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1111\/j.1467-8640.1991.tb00393.x","article-title":"Planning in polynomial time: the SAS\u2013PUBS class","volume":"7","author":"B\u00e4ckstr\u00f6m","year":"1991","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0954-1810(98)00009-0_BIB11","doi-asserted-by":"crossref","unstructured":"Klein I, B\u00e4ckstr\u00f6m C. On the planning problem in sequential control. In: Proceedings of the 30th IEEE Conference on Decision and Control (CDC-91), Brighton, UK, December 1991:1819\u20131823.","DOI":"10.1109\/CDC.1991.261726"},{"key":"10.1016\/S0954-1810(98)00009-0_BIB12","unstructured":"B\u00e4ckstr\u00f6m C. Equivalence and tractability results for SAS+ planning. In: Swartout B, Nebel B, editors. Proceedings of the 3rd International Conference on Principles on Knowledge Representation and Reasoning (KR92), Cambridge, MA, USA, October 1992. San Mateo, CA: Morgan Kaufmann, 1992:126\u2013137."},{"key":"10.1016\/S0954-1810(98)00009-0_BIB13","unstructured":"B\u00e4ckstr\u00f6m C, Klein I. Parallel non-binary planning in polynomial time. In: Reiter R, Mylopoulos J, editors. Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, Australia, August 1991. San Mateo, CA: Morgan Kaufmann, 1991:268\u2013273."},{"issue":"1, 2","key":"10.1016\/S0954-1810(98)00009-0_BIB14","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0004-3702(98)00003-4","article-title":"State-variable planning under structural restrictions: algorithms and complexity","volume":"100","author":"Jonsson","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0954-1810(98)00009-0_BIB15","unstructured":"B\u00e4ckstr\u00f6m C. Five years of tractable planning. In: Ghallab M, Milani A, editors. New Directions in AI Planning: EWSP'95-3rd European Workshop on Planning, Frontiers in AI and Applications, Assisi, Italy, September 1995. Amsterdam: IOS Press, 1995:19\u201333."},{"key":"10.1016\/S0954-1810(98)00009-0_BIB16","unstructured":"Str\u00f6mberg J-E. Styrning av LEGO-bilfabrik. Andra omarbetade upplagan. Department of Electrical Engineering, Link\u00f6ping University, 1991."},{"key":"10.1016\/S0954-1810(98)00009-0_BIB17","unstructured":"IEC. Preparation of function charts for control systems. Publication 848:1988, IEC, 1988."},{"key":"10.1016\/S0954-1810(98)00009-0_BIB18","unstructured":"Klein I, Jonsson P, B\u00e4ckstr\u00f6m C. Tractable planning for an assembly line. In: Ghallab M, Milani A, editors. New Directions in AI Planning: EWSP'95-3rd European Workshop on Planning, Frontiers in AI and Applications, Assisi, Italy, September 1995. Amsterdam, IOS Press, 1995:313\u2013324."},{"key":"10.1016\/S0954-1810(98)00009-0_BIB19","doi-asserted-by":"crossref","unstructured":"Klein I, Jonsson P, B\u00e4ckstr\u00f6m C. Automatic synthesis of control programs in polynomial time for an assembly line. In: Proceedings of the IEEE Conference on Decision and Control (CDC-96), Kobe, Japan, December 1996.","DOI":"10.1109\/CDC.1996.572812"},{"issue":"1, 2","key":"10.1016\/S0954-1810(98)00009-0_BIB20","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(94)00081-B","article-title":"Expressive equivalence of planning formalisms","volume":"76","author":"B\u00e4ckstr\u00f6m","year":"1995","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0954-1810(98)00009-0_BIB21","unstructured":"Jonsson P, B\u00e4ckstr\u00f6m C. Tractable planning with state variables by exploiting structural restrictions. In: Proceedings of the 12th (US) National Conference on Artificial Intelligence (AAAI-94), American Association for Artificial Intelligence, Seattle, WA, USA, July\u2013August 1994. Cambridge, MA: MIT Press, 1994:998\u20131003."},{"issue":"2","key":"10.1016\/S0954-1810(98)00009-0_BIB22","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0004-3702(74)90026-5","article-title":"Planning in a hierarchy of abstraction spaces","volume":"5","author":"Sacerdoti","year":"1974","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0954-1810(98)00009-0_BIB23","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0004-3702(94)90069-8","article-title":"Automatically generating abstractions for planning","volume":"68","author":"Knoblock","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0954-1810(98)00009-0_BIB24","unstructured":"B\u00e4ckstr\u00f6m C, Jonsson P. Planning with abstraction hierarchies can be exponentially less efficient. In: Mellish C, editor. Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95). Montr\u00e9al, PQ, Canada, August 1995. San Mateo, CA: Morgan Kaufmann, 1995:1599\u20131604."},{"key":"10.1016\/S0954-1810(98)00009-0_BIB25","unstructured":"David, R. & Alla, H., Petri nets and GRAFCET: tools for modelling discrete event systems. Prentice Hall, New York, 1992."},{"key":"10.1016\/S0954-1810(98)00009-0_BIB26","unstructured":"Actron AB. ActGraph+ GrafCet Programming for Hitachi PLC, 1991."},{"key":"10.1016\/S0954-1810(98)00009-0_BIB27","unstructured":"Kvarntr\u00f6m J. Implementation of a tractable planner. Master thesis report, Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Sweden, 1996."},{"key":"10.1016\/S0954-1810(98)00009-0_BIB28","unstructured":"Russian F. Automatic generation of control programs for an assembly line. Master Thesis Report LiTH-ISY-EX-1620, Department of Electrical Engineering, Link\u00f6ping University, Link\u00f6ping, Sweden, 1995."},{"key":"10.1016\/S0954-1810(98)00009-0_BIB29","unstructured":"Tsatsoulis C, Kayshap RL. Planning and its application to manufacturing. In: Kumara ST, Kashyap RL, Soyster AL, editors. Artificial intelligence, manufacturing theory and practice. Institute of Industrial Engineers, 1988:193\u2013223."},{"key":"10.1016\/S0954-1810(98)00009-0_BIB30","unstructured":"Nau DS, Gupta SK, Regli WC. AI planning versus manufacturing-operation planning: A case study. In: Mellish C, editor. Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Montr\u00e9al, PQ, Canada, August 1995. San Mateo, CA: Morgan Kaufmann, 1995:1670\u20131676."},{"key":"10.1016\/S0954-1810(98)00009-0_BIB31","unstructured":"Kis T, V\u00e1ncza J. Computational complexity of manufacturing process planning. In: Ghallab M, Milani A, editors. New Directions in AI Planning: EWSP'95-3rd European Workshop on Planning, Frontiers in AI and Applications, Assisi, Italy, September 1995. Amsterdam: IOS Press, 1995:299\u2013311."},{"key":"10.1016\/S0954-1810(98)00009-0_BIB32","unstructured":"M\u00e1rkus A, V\u00e1ncza J. Inference and optimization methods for manufacturing process planning. In: Cohn AG, editor. Proceedings of the 11th European Conference on Artificial Intelligence (ECAI-94). Amsterdam, Netherlands, August 1994. Chichester: Wiley, 1994:595\u2013599."},{"key":"10.1016\/S0954-1810(98)00009-0_BIB33","unstructured":"Mun\u00f5s-Avila H, Weberskirch F. Planning for manufacturing workpieces by storing, indexing and replaying planning decisions. In: Drabble B, editor. Proceedings of the Third International Conference on Artificial Intelligence Planning Systems (A1PS'96). Edinburgh, Scotland, May 1996. Menlo Park, CA: AAAI Press, 1996:150\u2013157."},{"key":"10.1016\/S0954-1810(98)00009-0_BIB34","unstructured":"Jonsson P, B\u00e4ckstr\u00f6m C. Incremental planning. In: Ghallab M, Milani A, editors. New Directions in AI Planning: EWSP'95-3rd European Workshop on Planning, Frontiers in AI and Applications, Assisi, Italy, September 1995. Amsterdam: IOS Press, 1995:79\u201390."},{"key":"10.1016\/S0954-1810(98)00009-0_BIB35","unstructured":"B\u00e4ckstr\u00f6m C. Finding least constrained plans and optimal parallel executions is harder than we thought. In: B\u00e4ckstr\u00f6m C, Sandewall E, editors. Current Trends in AI Planning: EWSP'93\u20142nd European Workshop on Planning, Vadstena, Sweden, December 1993. Amsterdam: IOS Press, 1993:46\u201359."}],"container-title":["Artificial Intelligence in Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0954181098000090?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0954181098000090?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T10:27:14Z","timestamp":1555064834000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0954181098000090"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["S0954181098000090"],"URL":"https:\/\/doi.org\/10.1016\/s0954-1810(98)00009-0","relation":{},"ISSN":["0954-1810"],"issn-type":[{"value":"0954-1810","type":"print"}],"subject":[],"published":{"date-parts":[[1999,1]]}}}