{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T07:35:07Z","timestamp":1770968107421,"version":"3.50.1"},"reference-count":39,"publisher":"MDPI AG","issue":"5","license":[{"start":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T00:00:00Z","timestamp":1589760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information"],"abstract":"<jats:p>Planning and distributed task allocation are considered challenging problems. To address them, autonomous agents called planning agents situated in a multi-agent system should cooperate to achieve planning and complete distributed tasks. We propose a solution for distributed task allocation where agents dynamically allocate the tasks while they are building the plans. We model and verify some properties using computation tree logic (CTL) with the model checker its-ctl. Lastly, simulations are performed to verify the effectiveness of our proposed solution. The result proves that it is very efficient as it requires little message exchange and computational time. A benchmark production system is used as a running example to explain our contribution.<\/jats:p>","DOI":"10.3390\/info11050271","type":"journal-article","created":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T11:34:14Z","timestamp":1589801654000},"page":"271","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Social Multi-Agent Cooperation System Based on Planning and Distributed Task Allocation"],"prefix":"10.3390","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5894-8895","authenticated-orcid":false,"given":"Atef","family":"Gharbi","sequence":"first","affiliation":[{"name":"Faculty of Computing and Information Technology, Northern Border University, Rafha 91911, Saudi Arabia"},{"name":"LISI, INSAT, Universit\u00e9 de Carthage, Carthage 1054, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2020,5,18]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1016\/j.trf.2019.07.020","article-title":"Testing cooperative intelligent transport systems in distributed simulators","volume":"65","author":"Aramrattana","year":"2019","journal-title":"Transp. Res. Part F Traffic Psychol. Behav."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"1249","DOI":"10.1016\/j.procs.2019.04.180","article-title":"Recovery of scientific data using Intelligent Distributed Data Warehouse","volume":"151","author":"Viloria","year":"2019","journal-title":"Procedia Comput. Sci."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"2706","DOI":"10.1016\/j.cja.2019.05.012","article-title":"Distributed intelligent self-organized mission planning of multi-UAV for dynamic targets cooperative search-attack","volume":"32","author":"Zhen","year":"2019","journal-title":"Chin. J. Aeronaut."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1016\/j.tej.2019.05.001","article-title":"Distributed intelligence: A critical piece of the microgrid puzzle","volume":"32","author":"Jacobson","year":"2019","journal-title":"Electr. J."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.engappai.2018.12.001","article-title":"A biologically-inspired distributed fault tolerant flocking control for multi-agent system in presence of uncertain dynamics and unknown disturbance","volume":"79","author":"Jafari","year":"2019","journal-title":"Eng. Appl. Artif. Intell."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"971","DOI":"10.1016\/j.procs.2019.04.136","article-title":"Intelligent multi-agent system for water reduction in automotive irrigation processes","volume":"151","author":"Briones","year":"2019","journal-title":"Procedia Comput. Sci."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.conengprac.2019.03.009","article-title":"The model-based product agent: A control oriented architecture for intelligent products in multi-agent manufacturing systems","volume":"86","author":"Kovalenko","year":"2019","journal-title":"Control Eng. Pract."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1016\/j.procs.2019.02.049","article-title":"Advanced Iterative Action Planning for Intelligent Real-Time Agents","volume":"150","author":"Panteleev","year":"2019","journal-title":"Procedia Comput. Sci."},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/j.neucom.2018.04.051","article-title":"Consensus control for multi-agent systems with distributed parameter models","volume":"308","author":"Fu","year":"2018","journal-title":"Neurocomputing"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1016\/j.procs.2019.02.045","article-title":"Collective Opinion Formation as a Set of Intelligent Agents to Achieve the Goal","volume":"150","author":"Pupkov","year":"2019","journal-title":"Procedia Comput. Sci."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1016\/j.cie.2018.10.050","article-title":"Intelligent sustainable supplier selection using multi-agent technology: Theory and application for Industry 4.0 supply chains","volume":"127","author":"Ghadimi","year":"2019","journal-title":"Comput. Ind. Eng."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"1261","DOI":"10.1016\/j.ifacol.2018.08.359","article-title":"Platform Independent Multi-Agent System for Robust Networks of Production Systems","volume":"51","author":"Salazar","year":"2018","journal-title":"IFAC-PapersOnLine"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1016\/j.jnca.2012.12.011","article-title":"Domain-independent multi-agent plan repair","volume":"37","author":"Komenda","year":"2014","journal-title":"J. Netw. Comput. Appl."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jmateco.2014.02.008","article-title":"Inflationary equilibrium in a stochastic economy with independent agents","volume":"52","author":"Geanakoplos","year":"2014","journal-title":"J. Math. Econ."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1016\/j.automatica.2019.03.007","article-title":"Distributed greedy algorithm for multi-agent task assignment problem with submodular utility functions","volume":"105","author":"Qu","year":"2019","journal-title":"Automatica"},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1016\/j.ifacol.2018.07.281","article-title":"Priority Task-Based Formation Control and Obstacle Avoidance of Holonomic Agents with Continuous Control Inputs","volume":"51","author":"Trujillo","year":"2018","journal-title":"IFAC-PapersOnLine"},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1016\/j.procs.2018.01.077","article-title":"Inference algorithm for teams of robots using local interaction","volume":"123","author":"Vorobiev","year":"2018","journal-title":"Procedia Comput. Sci."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/j.isatra.2018.03.008","article-title":"Group consensus control for networked multi-agent systems with communication delays","volume":"76","author":"An","year":"2018","journal-title":"ISA Trans."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ins.2018.01.040","article-title":"Distributed optimization for multi-agent systems with constraints set and communication time-delay over a directed graph","volume":"438","author":"Wang","year":"2018","journal-title":"Inf. Sci."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/j.ins.2018.05.051","article-title":"End to end communication rate-based adaptive fault tolerant control of multi-agent systems under unreliable interconnections","volume":"460\u2013461","author":"Zhao","year":"2018","journal-title":"Inf. Sci."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1016\/j.knosys.2018.01.013","article-title":"FMAP: A platform for the development of distributed multi-agent planning systems","volume":"145","author":"Sapena","year":"2018","journal-title":"Knowl.-Based Syst."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1016\/j.eswa.2018.07.001","article-title":"Comparative analysis of selected path-planning approaches in large-scale multi-agent-based environments","volume":"113","author":"Tucnik","year":"2018","journal-title":"Expert Syst. Appl."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1016\/j.ast.2018.01.035","article-title":"Cooperative search-attack mission planning for multi-UAV based on intelligent self-organized algorithm","volume":"76","author":"Zhen","year":"2018","journal-title":"Aerosp. Sci. Technol."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11721-012-0075-2","article-title":"Swarm Robotics: A Review from the Swarm Engineering Perspective","volume":"7","author":"Brambilla","year":"2013","journal-title":"Swarm Intell."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1016\/j.ins.2019.05.029","article-title":"Intelligent multi-task allocation and planning for multiple unmanned surface vehicles (USVs) using self-organising maps and fast marching method","volume":"496","author":"Liu","year":"2019","journal-title":"Inf. Sci."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"1073","DOI":"10.1016\/j.asr.2018.10.002","article-title":"Task allocation strategies for cooperative task planning of multi-autonomous satellite constellation","volume":"63","author":"Yao","year":"2019","journal-title":"Adv. Space Res."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/j.robot.2019.04.012","article-title":"A distributed method for dynamic multi-robot task allocation problems with critical time constraints","volume":"118","author":"Chen","year":"2019","journal-title":"Robot. Auton. Syst."},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1016\/j.asoc.2017.11.019","article-title":"A new approach based on particle swarm optimization algorithm for solving data allocation problem","volume":"62","author":"Mahi","year":"2018","journal-title":"Appl. Soft Comput."},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"100203","DOI":"10.1016\/j.segan.2019.100203","article-title":"Agent based bilateral transactive market for emerging distribution system considering imbalances","volume":"18","author":"Saxena","year":"2019","journal-title":"Sustain. Energy Grids Netw."},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"3928","DOI":"10.1016\/j.ijleo.2016.01.071","article-title":"A novel task optimal allocation approach based on Contract Net Protocol for Agent-oriented UUV swarm system modeling","volume":"127","author":"Liang","year":"2016","journal-title":"Optik"},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/j.compind.2015.08.010","article-title":"Holonic coordination obtained by joining the contract net protocol with constraint satisfaction","volume":"81","author":"Panescu","year":"2016","journal-title":"Comput. Ind."},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/j.procs.2013.09.256","article-title":"Ant-inspired Decentralized Task Allocation Strategy in Groups of Mobile Agents","volume":"20","author":"Momen","year":"2013","journal-title":"Procedia Comput. Sci."},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0004-3702(98)00045-9","article-title":"Methods for task allocation via agent coalition formation","volume":"101","author":"Shehory","year":"1998","journal-title":"Artif. Intell."},{"key":"ref_34","unstructured":"Hruz, B., and Zhou, M. (2007). Modeling and Control of Discrete-Event Dynamic Systems with Petri Nets and Other Tools, Springer."},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Gharbi, A., Gharsellaoui, H., and Ben Ahmed, S. (2014, January 29\u201331). Multi-Agent control system. Proceedings of the 9th International Conference on Software Engineering and Applications (ICSOFT-EA), Vienna, Austria.","DOI":"10.5220\/0005001101170124"},{"key":"ref_36","unstructured":"(2019, November 08). Homepage of ITS-Tools. Available online: https:\/\/lip6.github.io\/ITSTools-web."},{"key":"ref_37","doi-asserted-by":"crossref","unstructured":"Ben Noureddine, D., Gharbi, A., and Ben Ahmed, S. (2018, January 26\u201328). A Social Multi-Agent Cooperation System based on Planning and Distributed Task Allocation: Real Case Study. Proceedings of the ICSOFT, Porto, Portugal.","DOI":"10.5220\/0006831304490459"},{"key":"ref_38","unstructured":"Weerdt, M., Zhang, Y., and Klos, T. (2007, January 14\u201318). Distributed task allocation in social networks. Proceedings of the 6th Automous Agents and Multiagent Systems (AAMAS 2007), Honolulu, HI, USA."},{"key":"ref_39","unstructured":"(2020, May 10). Available online: https:\/\/drive.google.com\/open?id=1SYKk2CyxpAgq6o-n2VqZ7gOuwRPj3qJw."}],"container-title":["Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2078-2489\/11\/5\/271\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T09:29:55Z","timestamp":1760174995000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2078-2489\/11\/5\/271"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,18]]},"references-count":39,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2020,5]]}},"alternative-id":["info11050271"],"URL":"https:\/\/doi.org\/10.3390\/info11050271","relation":{},"ISSN":["2078-2489"],"issn-type":[{"value":"2078-2489","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,5,18]]}}}