{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:25:29Z","timestamp":1742383529117,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2000.886486","type":"proceedings-article","created":{"date-parts":[[2002,11,7]],"date-time":"2002-11-07T20:06:37Z","timestamp":1036699597000},"page":"3177-3182","source":"Crossref","is-referenced-by-count":6,"title":["Modeling mobile agent systems with high level Petri nets"],"prefix":"10.1109","volume":"5","author":[{"family":"Dianxiang Xu","sequence":"first","affiliation":[]},{"family":"Yi Deng","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Mobile Agent System Interoperability Facility","year":"0","key":"ref10"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1145\/302405.302659","article-title":"lime: linda meets mobility","author":"picco","year":"1999","journal-title":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat No 99CB37002) ICSE"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258079"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019219916118"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(99)00009-9"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00061-5"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","article-title":"A calculus of mobile agents","volume":"1119","author":"fournet","year":"0","journal-title":"Proc of Conf on Concurrency Theory (CONCUR'96)"},{"journal-title":"Formalizing MAF agent system architecture in MAM","year":"1999","author":"ding","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.385973"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-540-47919-2_9","article-title":"Predicate\/transition nets","volume":"254","author":"genrich","year":"1987","journal-title":"Petri Nets Central Models and Their Properties"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48919-3_5"},{"journal-title":"Reconfigurable nets a class of high level Petri nets supporting dynamic changes with workflow systems","year":"1998","author":"badouel","key":"ref2"},{"journal-title":"Mobile Petri Nets","year":"1996","author":"asperti","key":"ref1"},{"key":"ref9","first-page":"82","article-title":"Multi-agent systems based on colored Petri nets","volume":"1248","author":"moldt","year":"1997","journal-title":"Application and Theory of Petri Nets"}],"event":{"name":"IEEE International Conference on Systems, Man, and Cybernetics","acronym":"ICSMC-00","location":"Nashville, TN, USA"},"container-title":["SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7099\/19140\/00886486.pdf?arnumber=886486","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T09:55:57Z","timestamp":1497520557000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/886486\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2000.886486","relation":{},"subject":[]}}