{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:11:12Z","timestamp":1725909072338},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319569901"},{"type":"electronic","value":"9783319569918"}],"license":[{"start":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T00:00:00Z","timestamp":1503446400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-56991-8_17","type":"book-chapter","created":{"date-parts":[[2017,8,21]],"date-time":"2017-08-21T23:57:16Z","timestamp":1503359836000},"page":"216-227","source":"Crossref","is-referenced-by-count":0,"title":["Petri Nets for Mobile Agent: Theory and Application"],"prefix":"10.1007","author":[{"given":"Walid","family":"Ben Mesmia","sequence":"first","affiliation":[]},{"given":"Borhan","family":"Marzougui","sequence":"additional","affiliation":[]},{"given":"Kamel","family":"Barkaoui","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,23]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Pouyan, A., Reeves, S.: Behavioral modeling for mobile agent system using petri net. In: International Conference on Systems, Man and Cybernetics. IEEE, Piscataway, NJ, US (2004)","key":"17_CR1","DOI":"10.1109\/ICSMC.2004.1401313"},{"unstructured":"Briot, J., Demazeau, Y.: Introduction to agents: principles and architecture multi-agent systems. IC2 collection, Hermes (2001)","key":"17_CR2"},{"unstructured":"Collinot, A., Drogoul, A.: Agent oriented design of a soccer robot team. In: Tokoro, M. (ed.) Second International Conference on Multi-Agent Systems (ICMAS 1996), Nara, Japan, pp. 41\u201347. AAAI Press (1996)","key":"17_CR3"},{"issue":"3","key":"17_CR4","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1023\/A:1009673714049","volume":"16","author":"JC Collis","year":"2014","unstructured":"Collis, J.C., Ndumu, D.T., Nwana, H.S., Lee, L.C.: The ZEUS agent building toolkit. BT Technol. J. 16(3), 60\u201368 (2014)","journal-title":"BT Technol. J."},{"unstructured":"Chaib-draa, B., Jarras, I., Moulin, B.: Multi agent systems: general principles and applications. In: Briot, J.P., Demazeau, Y. (eds.) Agent and Multi Agent Systems, Herm\u00e8s (2010). Forth coming article","key":"17_CR5"},{"doi-asserted-by":"crossref","unstructured":"Castro, J., Kolp, M., Mylopoulos, J.: A requirements-driven development methodology. In: 13th International Conference on Advanced Information Systems Engineering (CAiSE 2001). Lecture Notes in Computer Science (LNCS), vol. 2068, pp. 108\u2013123. Springer (2001)","key":"17_CR6","DOI":"10.1007\/3-540-45341-5_8"},{"key":"17_CR7","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1109\/21.108296","volume":"21","author":"FY Wang","year":"2014","unstructured":"Wang, F.Y., Tsolkas, A.: A petri net coordination model for an intelligent mobile robot. IEEE Trans. Syst. Man Cybern. 21, 777\u2013789 (2014)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"unstructured":"Ferber, J.: The Multi-agent Systems to Collective Intelligence. Inter Editions, Paris, pp. 33\u201347 (1995)","key":"17_CR8"},{"doi-asserted-by":"crossref","unstructured":"Fisher, M.: A survey of concurrent metatem the language and its applications. In: Temporal Logic Proceedings of the First International Conference. LNCS, vol. 827, Springer (1994)","key":"17_CR9","DOI":"10.1007\/BFb0014005"},{"unstructured":"Kwon, H.C., Lee, J.T., Kim, H., Yoo, K.J.: A migration strategy of mobile agent. In: ICPADS (2001)","key":"17_CR10"},{"issue":"12","key":"17_CR11","doi-asserted-by":"crossref","first-page":"1118","DOI":"10.4236\/jsea.2010.312130","volume":"3","author":"B Marzougui","year":"2010","unstructured":"Marzougui, B., Hassine, K., Barkaoui, K.: A new formalism for modeling a multi agent systems: agent petri nets. J. Softw. Eng. Appl. (JSEA) 3(12), 1118\u20131124 (2010)","journal-title":"J. Softw. Eng. Appl. (JSEA)"},{"doi-asserted-by":"crossref","unstructured":"Padgham, L., Winikoff, M.: Prometheus: a methodology for developing intelligent agents. In: Proceedings of the Third International Workshop on Agent Oriented Software Engineering. AAMAS, Bologna, Italy (2002)","key":"17_CR12","DOI":"10.1145\/544741.544749"},{"unstructured":"Wooldridge, M.: The Logical Modeling of Computational Multi-agent Systems. Ph.D. thesis, Manchester Metropolitan University (1992)","key":"17_CR13"},{"unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual. Prentice Hall International, UK (1992)","key":"17_CR14"},{"doi-asserted-by":"crossref","unstructured":"Luck, M., Griffiths, N., d\u2019Inverno, M.: From agent theory to agent construction: a case study. In: M\u00fcller, J.P., Wooldridge, M., Jennings, N.R. (eds.) Intelligent Agents III. LNAI, vol. 1193. Springer (1997)","key":"17_CR15","DOI":"10.1007\/BFb0013575"},{"doi-asserted-by":"crossref","unstructured":"Zhou, Y., Yan, X., Huang, Z.: A graph transformation based approach for modeling component level migration in mobile environment. In: IEEE 36th International Conference on Computer Software and Applications Workshops (2012)","key":"17_CR16","DOI":"10.1109\/COMPSACW.2012.37"}],"container-title":["Lecture Notes in Networks and Systems","Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-56991-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,22]],"date-time":"2017-08-22T00:05:12Z","timestamp":1503360312000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-56991-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,23]]},"ISBN":["9783319569901","9783319569918"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-56991-8_17","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2017,8,23]]}}}