{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:21:18Z","timestamp":1777890078806,"version":"3.51.4"},"reference-count":19,"publisher":"SAGE Publications","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["MGS"],"published-print":{"date-parts":[[2017,7,4]]},"DOI":"10.3233\/mgs-170264","type":"journal-article","created":{"date-parts":[[2017,7,18]],"date-time":"2017-07-18T10:59:15Z","timestamp":1500375555000},"page":"113-142","source":"Crossref","is-referenced-by-count":3,"title":["Dynamic verification of hierarchical multi-agent plans"],"prefix":"10.1177","volume":"13","author":[{"given":"Said","family":"Brahimi","sequence":"first","affiliation":[{"name":"University 8 mai 1945 of Guelma, Guelma, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramdane","family":"Maamri","sequence":"additional","affiliation":[{"name":"University of Constantine 2, Constantine, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zaidi","family":"Sahnoun","sequence":"additional","affiliation":[{"name":"University of Constantine 2, Constantine, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"key":"10.3233\/MGS-170264_ref1","doi-asserted-by":"crossref","unstructured":"R. Alami, F. Robert, F.F. Ingrand and S. Suzuki, Multi-robot cooperation through incremental plan-merging, in: IEEE Int. Conf. on Robotics and Automation, Japan, 1995, pp. 2573\u20132578.","DOI":"10.1109\/ROBOT.1995.525645"},{"issue":"2","key":"10.3233\/MGS-170264_ref2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jats.2013040101","article-title":"Hierarchical Multi-Agent Plans Using Model-Based Petri Net","volume":"5","author":"Brahimi","year":"2013","journal-title":"International Journal of Agent Technologies and Systems, IGI Global"},{"key":"10.3233\/MGS-170264_ref3","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/j.neucom.2014.04.063","article-title":"Partially centralized approach for dynamic hierarchical-plans merging","volume":"146","author":"Brahimi","year":"2014","journal-title":"Neurocomputing"},{"issue":"3","key":"10.3233\/MGS-170264_ref4","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1093\/comjnl\/43.3.224","article-title":"Modular analysis of Petri nets","volume":"43","author":"Christensen","year":"2000","journal-title":"The Computer Journal"},{"key":"10.3233\/MGS-170264_ref5","doi-asserted-by":"crossref","unstructured":"B.J. Clement and A.C. Barrett, Continual coordination through shared activities, in: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, ACM, Australia, 2003, pp. 57\u201364.","DOI":"10.1145\/860581.860585"},{"key":"10.3233\/MGS-170264_ref6","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1613\/jair.2158","article-title":"Abstract reasoning for planning and coordination","volume":"28","author":"Clement","year":"2007","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.3233\/MGS-170264_ref7","unstructured":"de Jonge and N. Roos, Plan-execution health repair in a multi-agent system, in: Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group, 2004, pp. 33\u201344."},{"key":"10.3233\/MGS-170264_ref8","unstructured":"M. desJardins and M. Wolverton, Controlling communication in distributed planning using irrelevance reasoning, in: Proceedings of the Fifteenth National Conference on Artificial Intelligence, 1998, pp. 868\u2013874."},{"issue":"4","key":"10.3233\/MGS-170264_ref9","first-page":"13","article-title":"A survey of research in distributed, continual planning","volume":"20","author":"Durfee","year":"1999","journal-title":"Ai Magazine"},{"key":"10.3233\/MGS-170264_ref10","unstructured":"K. Erol, Hierarchical Task Network Planning: Formalization, Analysis, and Implementation, Ph.D. thesis, College Park, MD, USA, 1996."},{"key":"10.3233\/MGS-170264_ref11","unstructured":"K. Erol, J. Hendler and D.S. Nau, Semantics for hierarchical task-network planning. Technical report CS-TR-3239, UMIACS-TR-94-31, Computer Science Dept., University of Maryland, March 1994."},{"key":"10.3233\/MGS-170264_ref12","unstructured":"A.E. Fallah-Seghrouchni, I. Degirmenciyan-Cartault and F. Marc, Modellingcontrol, and validation of multi-agent plans in dynamic context, in: Autonomous Agents and Multiagent Systems, Proceedings of the Third International Joint Conference on. IEEE, 2004, pp. 44\u201351."},{"key":"10.3233\/MGS-170264_ref13","unstructured":"C. Fritz and S.A. McIlraith, Monitoring Plan Optimality During Execution, in: Proceedings of the 17th International Conference on Automated Planning and Scheduling, 2007, pp. 144\u2013151."},{"key":"10.3233\/MGS-170264_ref14","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1613\/jair.720","article-title":"Asimovian adaptive agents","volume":"13","author":"Gordon","year":"2000","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"7\u20138","key":"10.3233\/MGS-170264_ref15","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/s00236-007-0055-y","article-title":"Recursive petri nets","volume":"44","author":"Haddad","year":"2007","journal-title":"Acta Informatica"},{"key":"10.3233\/MGS-170264_ref16","first-page":"86","article-title":"A coordination algorithm for multi-agent planning","author":"Seghrouchni","year":"1996","journal-title":"European Workshop on Modelling Autonomous Agents in a Multi-Agent World"},{"key":"10.3233\/MGS-170264_ref17","unstructured":"C. Muise, S.A. McIlraith and J.C. Beck, Monitoring the execution of partial-order plans via regression, in: Proceedings of the International Joint Conference On Artificial Intelligence, 2011, pp. 1975\u20131982."},{"key":"10.3233\/MGS-170264_ref18","unstructured":"A.E.F. Seghrouchni and S. Haddad, A recursive model for distributed planning, in: Proceedings of the 2nd International Conference on Multi-Agent Systems, 1996, pp. 307\u2013314."},{"key":"10.3233\/MGS-170264_ref19","unstructured":"J. Thangarajah, L. Padgham and M. Winikoff, Detecting and Avoiding Interference Between Goals in Intelligent Agents, in: International Joint Conference on Artificial Intelligence, 2003, pp. 721\u2013726."}],"container-title":["Multiagent and Grid Systems"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/MGS-170264","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T05:26:13Z","timestamp":1777613173000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/MGS-170264"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,4]]},"references-count":19,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.3233\/mgs-170264","relation":{},"ISSN":["1875-9076","1574-1702"],"issn-type":[{"value":"1875-9076","type":"electronic"},{"value":"1574-1702","type":"print"}],"subject":[],"published":{"date-parts":[[2017,7,4]]}}}