{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T10:23:30Z","timestamp":1756635810660},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319125671"},{"type":"electronic","value":"9783319125688"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44739-0_73","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T02:56:21Z","timestamp":1409021781000},"page":"597-604","source":"Crossref","is-referenced-by-count":4,"title":["Dynamic Rebalancing of an Assembly Line with a Reachability Analysis of Communicating Automata"],"prefix":"10.1007","author":[{"given":"Manceaux","family":"Antoine","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bril El-Haouzi","family":"Hind","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Andr\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P\u00e9tin","family":"Jean-Fran\u00e7ois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"73_CR1","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1016\/j.ejor.2004.07.023","volume":"168","author":"C. Becker","year":"2006","unstructured":"Becker, C., Scholl, A.: A survey on problems and methods in generalized assembly line balancing. European Journal of Operational Research\u00a0168, 694\u2013715 (2006), doi:10.1016\/j.ejor.2004.07.023","journal-title":"European Journal of Operational Research"},{"key":"73_CR2","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1016\/j.ijpe.2007.02.026","volume":"111","author":"N. Boysen","year":"2008","unstructured":"Boysen, N., Fliedner, M., Scholl, A.: Assembly line balancing: Which model to use when? International Journal of Production Economics\u00a0111, 509\u2013528 (2008), doi:10.1016\/j.ijpe.2007.02.026","journal-title":"International Journal of Production Economics"},{"key":"73_CR3","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1016\/j.ejor.2006.10.010","volume":"183","author":"N. Boysen","year":"2007","unstructured":"Boysen, N., Fliedner, M., Scholl, A.: A classification of assembly line balancing problems. European Journal of Operational Research\u00a0183, 674\u2013693 (2007), doi:10.1016\/j.ejor.2006.10.010","journal-title":"European Journal of Operational Research"},{"key":"73_CR4","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/j.ijpe.2012.10.020","volume":"142","author":"O. Batta\u00efa","year":"2013","unstructured":"Batta\u00efa, O., Dolgui, A.: A taxonomy of line balancing problems and their solutionapproaches. International Journal of Production Economics\u00a0142, 259\u2013277 (2013), doi:10.1016\/j.ijpe.2012.10.020","journal-title":"International Journal of Production Economics"},{"key":"73_CR5","unstructured":"Falkenauer, E.: Line balancing in the real world. Presented at the PLM 2005: International Conference on Product life Cycle Management, pp. 360\u2013370 (2005)"},{"key":"73_CR6","unstructured":"Scholl, A.: Balancing and sequencing of assembly lines (Publications of Darmstadt Technical University, Institute for Business Studies (BWL)). Darmstadt Technical University, Department of Business Administration, Economics and Law, Institute for Business Studies (BWL) (1999)"},{"key":"73_CR7","doi-asserted-by":"publisher","first-page":"6609","DOI":"10.1080\/00207543.2010.539025","volume":"49","author":"N. Grangeon","year":"2011","unstructured":"Grangeon, N., Leclaire, P., Norre, S.: Heuristics for the re-balancing of a vehicle assembly line. International Journal of Production Research\u00a049, 6609\u20136628 (2011), doi:10.1080\/00207543.2010.539025","journal-title":"International Journal of Production Research"},{"key":"73_CR8","doi-asserted-by":"crossref","unstructured":"Makssoud, F., Batta\u00efa, O., Dolgui, A.: Reconfiguration of Machining Transfer Lines. In: Borangiu, T., Thomas, A., Trentesaux, D. (eds.) Service Orientation in Holonic and Multi Agent. SCI, vol.\u00a0472, pp. 339\u2013353. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-35852-4_22"},{"key":"73_CR9","doi-asserted-by":"publisher","first-page":"928","DOI":"10.1016\/j.ejor.2007.04.043","volume":"191","author":"B. Estellon","year":"2008","unstructured":"Estellon, B., Gardi, F., Nouioua, K.: Two local search approaches for solving real-life car sequencing problems. European Journal of Operational Research\u00a0191, 928\u2013944 (2008), doi:10.1016\/j.ejor.2007.04.043","journal-title":"European Journal of Operational Research"},{"key":"73_CR10","doi-asserted-by":"crossref","unstructured":"Behrmann, G., Brinksma, E., Hendriks, M., Mader, A.: Production scheduling by reachability analysis-a case study. In: Proceedings of the 19th IEEE International on Parallel and Distributed Processing Symposium, pp. 140a. IEEE (April 2005)","DOI":"10.1109\/IPDPS.2005.363"},{"key":"73_CR11","doi-asserted-by":"crossref","unstructured":"Subbiah, S., Engell, S.: Short-Term Scheduling of Multi-Product Batch Plants with Sequence-Dependent Changeovers Using Timed Automata Models. In: Pierucci, S., Buzzi Ferraris, G. (eds.) Computer Aided Chemical Engineering, pp. 1201\u20131206. Elsevier (2010)","DOI":"10.1016\/S1570-7946(10)28201-9"},{"key":"73_CR12","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logics of Programs","author":"E.M. Clarke","year":"1982","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logics of Programs. LNCS, vol.\u00a0131, pp. 52\u201371. Springer, Heidelberg (1982)"},{"key":"73_CR13","doi-asserted-by":"crossref","unstructured":"Lemattre, T.: Allocation de fonctions de commande de syst\u00e8mes critiques par recherche d\u2019atteignabilit\u00e9 dans un r\u00e9seau d\u2019automates communicants. \u00c9cole normale sup\u00e9rieure de Cachan - ENS Cachan. In: Behrmann, G., Brinksma, E., Hendriks, M., Mader, A. (eds.) Production Scheduling by Reachability Analysis - A Case Study,19th IEEE International Parallel and Distributed Processing Symposium, p. 140a (2013), doi:10.1109\/IPDPS.2005.363","DOI":"10.1109\/IPDPS.2005.363"},{"key":"73_CR14","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994), doi:10.1016\/0304-3975(94)90010-8","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44739-0_73","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T09:02:53Z","timestamp":1565773373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44739-0_73"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319125671","9783319125688"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44739-0_73","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}