{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T14:38:52Z","timestamp":1769265532786,"version":"3.49.0"},"reference-count":66,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Production Research"],"published-print":{"date-parts":[[2026,2]]},"DOI":"10.1080\/00207543.2025.2561190","type":"journal-article","created":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T07:13:31Z","timestamp":1758784411000},"page":"914-939","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":1,"title":["Self-reconfiguration of manufacturing systems using Satisfiability Modulo Theory"],"prefix":"10.1080","volume":"64","author":[{"given":"Douha","family":"Macherki","sequence":"first","affiliation":[{"name":"EULER Laboratory, ISAE \u2013 Supm\u00e9ca, 3 rue Fernand Hainaut, 93400 Saint-Ouen-Sur-Seine, France"},{"name":"LA2MP, ENIS","place":["Sfax, Tunisia"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierno M. L.","family":"Diallo","sequence":"additional","affiliation":[{"name":"EULER Laboratory, ISAE \u2013 Supm\u00e9ca, 3 rue Fernand Hainaut, 93400 Saint-Ouen-Sur-Seine, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Yves","family":"Choley","sequence":"additional","affiliation":[{"name":"EULER Laboratory, ISAE \u2013 Supm\u00e9ca, 3 rue Fernand Hainaut, 93400 Saint-Ouen-Sur-Seine, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maher","family":"Barkallah","sequence":"additional","affiliation":[{"name":"LA2MP, ENIS","place":["Sfax, Tunisia"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Haddar","sequence":"additional","affiliation":[{"name":"LA2MP, ENIS","place":["Sfax, Tunisia"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2025,9,25]]},"reference":[{"key":"e_1_3_3_2_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJMTM.2009.023783"},{"key":"e_1_3_3_3_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2019.1600765"},{"key":"e_1_3_3_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2022.01.327"},{"key":"e_1_3_3_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-021-01869-x"},{"key":"e_1_3_3_6_1","author":"Anderl R.","year":"2015","unstructured":"Anderl, R., A. Picard, Y. Wang, J. Fleischer, S. Dorsch, B. Klee, and J. Bauer. 2015. Guideline Industrie 4.0 \u2013 Guiding Principles for the Implementation of Industrie 4.0 in Small and Medium Sized Businesses. Frankfurt: VDMA Forum Industrie 4.0.","journal-title":"Guideline Industrie 4.0 \u2013 Guiding Principles for the Implementation of Industrie 4.0 in Small and Medium Sized Businesses"},{"key":"e_1_3_3_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2016.12.008"},{"key":"e_1_3_3_8_1","doi-asserted-by":"crossref","unstructured":"Balzereit K. and O. Niggemann. 2020. \u201cAutomated Reconfiguration of Cyber-physical Production Systems Using Satisfiability Modulo Theories.\u201d In 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS). IEEE 461\u2013468.","DOI":"10.1109\/ICPS48405.2020.9274707"},{"key":"e_1_3_3_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPS48405.2020.9274707"},{"key":"e_1_3_3_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_24"},{"key":"e_1_3_3_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"e_1_3_3_12_1","unstructured":"Berry G. 2016. SMT: la Satisfaction Modulo Th\u00e9ories [WWW Document]. Accessed 6 January 2022. https:\/\/www.college-de-france.fr\/site\/gerard-berry\/course-2016-03-23-16h00.htm."},{"key":"e_1_3_3_13_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207540600905646"},{"key":"e_1_3_3_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2018.09.005"},{"key":"e_1_3_3_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jii.2022.100329"},{"key":"e_1_3_3_16_1","unstructured":"Conchon S. A. Coquereau M. Iguernlala and A. Mebsout. 2018. Alt-Ergo 2.2 in: SMT Workshop: International Workshop on Satisfiability Modulo Theories."},{"key":"e_1_3_3_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-46452-2_8"},{"key":"e_1_3_3_18_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2023.2224446"},{"key":"e_1_3_3_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_3_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"e_1_3_3_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10696-006-9028-7"},{"key":"e_1_3_3_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3560469"},{"key":"e_1_3_3_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2017.09.003"},{"key":"e_1_3_3_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-28782-5_2"},{"key":"e_1_3_3_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0461-2"},{"key":"e_1_3_3_26_1","article-title":"A Methodology for the Reconfiguration Process in Manufacturing Systems","author":"Garbie I. H.","year":"2014","unstructured":"Garbie, I. H. 2014. \u201cA Methodology for the Reconfiguration Process in Manufacturing Systems.\u201d Journal of Manufacturing Technology Management\u00a025 (6): 891\u2013915.","journal-title":"Journal of Manufacturing Technology Management"},{"key":"e_1_3_3_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2023.103669"},{"key":"e_1_3_3_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2013.05.002"},{"key":"e_1_3_3_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2012.01.016"},{"key":"e_1_3_3_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-020-06568-0"},{"key":"e_1_3_3_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-57997-5_57"},{"key":"e_1_3_3_32_1","doi-asserted-by":"crossref","unstructured":"Hoang X. L. A. Fay P. Marks and M. Weyrich. 2016. \u201cSystematization Approach for the Adaptation of Manufacturing Machines.\u201d Presented at the 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE 1\u20134.","DOI":"10.1109\/ETFA.2016.7733635"},{"key":"e_1_3_3_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/Access.6287639"},{"key":"e_1_3_3_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/AQTR.2014.6857843"},{"key":"e_1_3_3_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-019-01471-2"},{"key":"e_1_3_3_36_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207540210136513"},{"key":"e_1_3_3_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-29397-3_3"},{"key":"e_1_3_3_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0007-8506(07)63232-6"},{"key":"e_1_3_3_39_1","doi-asserted-by":"crossref","unstructured":"Macherki D. T. M. Diallo J.-Y. Choley A. Guizani M. Barkallah and M. Haddar. 2020. \u201cThe Q-Holon: A Quadridimensional Holon to Design and Operate an Adaptive and Scalable Architecture for CPPS.\u201d In 2020 21st International Conference on Research and Education in Mechatronics (REM). IEEE 1\u20136.","DOI":"10.1109\/REM49740.2020.9313895"},{"key":"e_1_3_3_40_1","doi-asserted-by":"publisher","DOI":"10.3390\/app11199013"},{"key":"e_1_3_3_41_1","first-page":"74","article-title":"From Flexibility to Evolvability: Ways to Achieve Self-reconfigurability and Full-Autonomy","volume":"42","author":"Maffei A.","year":"2009","unstructured":"Maffei, A., K. Dencker, M. Bjelkemyr, and M. Onori. 2009. \u201cFrom Flexibility to Evolvability: Ways to Achieve Self-reconfigurability and Full-Autonomy.\u201d IFAC Proceedings 42:74\u201379.","journal-title":"IFAC Proceedings"},{"key":"e_1_3_3_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-019-04190-3"},{"key":"e_1_3_3_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2017.08.012"},{"key":"e_1_3_3_44_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2024.2360089"},{"key":"e_1_3_3_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2018.03.004"},{"key":"e_1_3_3_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01614-2_44"},{"key":"e_1_3_3_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2014.03.115"},{"key":"e_1_3_3_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cirp.2016.06.005"},{"key":"e_1_3_3_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2021.03.001"},{"key":"e_1_3_3_50_1","doi-asserted-by":"publisher","DOI":"10.1515\/Auto-2022-0139"},{"key":"e_1_3_3_51_1","article-title":"Cyber-Physical Production Systems: Enhancement with a Self-organized Reconfiguration Management","author":"M\u00fcller T.","year":"2020","unstructured":"M\u00fcller, T., N. Jazdi, J.-P. Schmidt, and M. Weyrich. 2020. \u201cCyber-Physical Production Systems: Enhancement with a Self-organized Reconfiguration Management.\u201d Procedia CIRP\u00a099: 549\u2013554.","journal-title":"Procedia CIRP"},{"key":"e_1_3_3_52_1","doi-asserted-by":"publisher","DOI":"10.1080\/0951192X.2022.2121425"},{"key":"e_1_3_3_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2022.12.014"},{"key":"e_1_3_3_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.Jmsy.2022.12.014"},{"key":"e_1_3_3_55_1","doi-asserted-by":"crossref","unstructured":"Pochiraju K. and S. Narain. 2015. \u201cCyber Physical System Integration and Configuration Guided by Satisfiability Modulo Theories.\u201d In 2015 IEEE International Conference on Information Reuse and Integration. IEEE 589\u2013592.","DOI":"10.1109\/IRI.2015.93"},{"key":"e_1_3_3_56_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2017.1334979"},{"key":"e_1_3_3_57_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2015.12.011"},{"key":"e_1_3_3_58_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2025.2474215"},{"key":"e_1_3_3_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/S10845-024-02558-1"},{"key":"e_1_3_3_60_1","doi-asserted-by":"crossref","unstructured":"Shi J. J. Wan H. Yan and H. Suo. 2011. \u201cA Survey of Cyber-Physical Systems.\u201d In 2011 International Conference on Wireless Communications and Signal Processing (WCSP). IEEE 1\u20136.","DOI":"10.1109\/WCSP.2011.6096958"},{"key":"e_1_3_3_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/REM49740.2020.9313871"},{"key":"e_1_3_3_62_1","unstructured":"Voronov A. K. \u00c5kesson and F. Ekstedt. 2011. \u201cEnumeration of Valid Partial Configurations.\u201d In Proceedings of Workshop on Configuration IJCAI 2011 25\u201331."},{"key":"e_1_3_3_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2003.1248968"},{"key":"e_1_3_3_64_1","doi-asserted-by":"publisher","DOI":"10.1177\/09544054221123470"},{"key":"e_1_3_3_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID60093.2024.00052"},{"key":"e_1_3_3_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-005-0034-9"},{"key":"e_1_3_3_67_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2019.03.141"}],"container-title":["International Journal of Production Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207543.2025.2561190","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T07:28:23Z","timestamp":1769153303000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/00207543.2025.2561190"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,25]]},"references-count":66,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,2]]}},"alternative-id":["10.1080\/00207543.2025.2561190"],"URL":"https:\/\/doi.org\/10.1080\/00207543.2025.2561190","relation":{},"ISSN":["0020-7543","1366-588X"],"issn-type":[{"value":"0020-7543","type":"print"},{"value":"1366-588X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,25]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tprs20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tprs20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2024-11-10","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-09-02","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-09-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}