{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T20:40:01Z","timestamp":1737405601367,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403340"},{"type":"electronic","value":"9783540449195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_11","type":"book-chapter","created":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T00:38:42Z","timestamp":1188779922000},"page":"121-139","source":"Crossref","is-referenced-by-count":35,"title":["Modelling Mobility and Mobile Agents Using Nets within Nets"],"prefix":"10.1007","author":[{"given":"Michael","family":"K\u00f6hler","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Moldt","sequence":"additional","affiliation":[]},{"given":"Heiko","family":"R\u00f6lke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"11_CR1","unstructured":"Andrea Asperti and Nadia Busi. Mobile Petri nets. Technical report, Department of computer science, University of Bologna, TR UBLCS-96-10, 1996."},{"key":"11_CR2","unstructured":"Jean-Pierre Briot, Walter Merlat, and Min-Jung Yoo. Modelling and validation of mobile agents on the web. In 1998 International Conference on Web-based Modeling and Simulation, pages 23\u201328, 1998."},{"key":"11_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44751-2","volume-title":"Mobile Agents. 5 th International Conference, MA 2001, Atlanta. Proceedings","author":"L. Bettini","year":"2001","unstructured":"Lorenzo Bettini and Rocco De Nicola. Translating strong mobility into weak mobility. In Gian Pietro Picco (Ed.), Mobile Agents. 5 th International Conference, MA 2001, Atlanta. Proceedings, volume 2240 of Lecture Notes in Computer Science, page 182 pp., Springer Verlag, Berlin, 2001."},{"key":"11_CR4","unstructured":"Bernhard Bauer, James Odell, and H. van Dyke Parunak. Extending UML for Agents. In Proceeding of Agent-Oriented Information Systems Workshop, pages 3\u201317, 2000."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Luca Cardelli, Andrew D. Gordon, and Giorgio Ghelli. Ambient groups and mobility types. Technical report, Microsoft Research and University of Pisa, 2000.","DOI":"10.1007\/3-540-44929-9_25"},{"key":"11_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-58152-9_10","volume-title":"Application and Theory of Petri Nets 1994, Proc. of 15th Intern. Conf. Zaragoza, Spain, June 1994","author":"S. Christensen","year":"1994","unstructured":"S\u00f8ren Christensen and Niels Damgaard Hansen. Coloured Petri nets extended with channels for synchronous communication. In Robert Valette (Ed.), Application and Theory of Petri Nets 1994, Proc. of 15th Intern. Conf. Zaragoza, Spain, June 1994, LNCS, pages 159\u2013178, Springer Verlag, Berlin, June 1994."},{"key":"11_CR7","unstructured":"W. Chainbi, C. Hanachi, and C. Sibertin-Blanc. The multi-agent prey\/predator problem: A Petri net solution. In Borne, P., Gentina, J.C., Craye, E., and El Khattabi, S. (Eds.), Proceedings of the CESA\u201996 Conference, Computational Engineering in Systems Applications, Lille, France, pages 291\u2013299. IEEE Society Press, July 1996."},{"key":"11_CR8","unstructured":"G. Cabri, L. Leonardi, and F. Zambonelli. Weak and strong mobility in mobile agent applications. In Proceedings of the 2nd International Conference and Exhibition on The Practical Application of Java (PA JAVA 2000), Manchester (UK), April 2000."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Marco Cremonini, Andrea Omicini, and Franco Zambonelli. Modelling network topology and mobile agent interaction: An integrated framework. In Proceedings of the 1999 ACM Symposium on Applied Computing (SAC\u201999), 1999.","DOI":"10.1145\/298151.298402"},{"key":"11_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36540-0_5","volume-title":"Proceedings of the 2002 Workshop on Agent Oriented Software Engineering (AOSE\u201902)","author":"M. Duvigneau","year":"2003","unstructured":"Michael Duvigneau, Daniel Moldt, and Heiko R\u00f6lke. Concurrent architecture for a multi-agent platform. In Proceedings of the 2002 Workshop on Agent Oriented Software Engineering (AOSE\u201902), volume 2585 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 2003."},{"key":"11_CR11","volume-title":"Bereitstellung einer Agentenplattform f\u00fcr petrinetzbasierte Agenten","author":"M. Duvigneau","year":"2002","unstructured":"Michael Duvigneau. Bereitstellung einer Agentenplattform f\u00fcr petrinetzbasierte Agenten. Master\u2019s thesis, University of Hamburg, Computer Science Department, Germany, 2002."},{"key":"11_CR12","first-page":"17","volume-title":"16th IASTED International Conference on Applied Infomatics (AI\u201998)","author":"J. M. Fernandes","year":"1998","unstructured":"Joao M. Fernandes and Orlando Belo. Modeling Multi-Agent Systems Activities Through Colored Petri Nets. In 16th IASTED International Conference on Applied Infomatics (AI\u201998), pages 17\u201320, Garmisch-Partenkirchen, Germany, Feb. 1998."},{"key":"11_CR13","volume-title":"Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence","author":"J. Ferber","year":"1999","unstructured":"Jaques Ferber. Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence. Addison Wesley Longman, Harlow, UK, 1999."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Jaques Ferber and Oliver Gutknecht. A meta-model for the analysis and design of organization in multi-agent systems. In Proc. of ICMAS, 1998.","DOI":"10.1109\/ICMAS.1998.699041"},{"key":"11_CR15","unstructured":"Foundation for Intelligent Physical Agents. FIPA Agent Management Support for Mobility Specification, 30. June 2000. Available at http:\/\/www.fipa.org\/specs\/fipa00087\/."},{"key":"11_CR16","unstructured":"Martin Fowler. Analysis patterns: reusable object models. Addison-Wesley series in object-oriented software engineering. Addison-Wesley, 1997."},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Gustavo M. Gois, Angelo Perkusich, Jorge C. A. de Figueiredo, and Evandro B. Costa. Towards a multi-agent interactive learning environment oriented to the Petri net domain. In Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC\u201998), 11\u201314 October 1998, San Diego, USA, pages 250\u2013255, October 1998.","DOI":"10.1109\/ICSMC.1998.725417"},{"key":"11_CR18","unstructured":"OMG (Object Management Group). MASIF \u2014 Multi Agent System Interoperability Facility. Technical report, OMG, 1998."},{"key":"11_CR19","unstructured":"Jarle Hulaas and Didier Buchs. An experiment with coordinated algebraic Petri nets as formalism for modeling mobile agents. In Workshop on Modelling of Objects, Components, and Agents (MOCA\u201901) \/ Daniel Moldt (Ed.), pages 73\u201384. DAIMI PB-553, Aarhus University, August 2001."},{"key":"11_CR20","series-title":"EATCS monographs on theoretical computer science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri nets, Basic Methods, Analysis Methods and Practical Use","author":"K. Jensen","year":"1992","unstructured":"Kurt Jensen. Coloured Petri nets, Basic Methods, Analysis Methods and Practical Use, volume 1 of EATCS monographs on theoretical computer science. Springer Verlag, Berlin, 1992."},{"key":"11_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-45740-2_14","volume-title":"Proceedings of the 22nd Conference on Application and Theory of Petri Nets","author":"M. K\u00f6hler","year":"2001","unstructured":"Michael K\u00f6hler, Daniel Moldt, and Heiko R\u00f6lke. Modelling the structure and behaviour of Petri net agents. In J.M. Colom and M. Koutny (Eds.), Proceedings of the 22nd Conference on Application and Theory of Petri Nets, volume 2075 of Lecture Notes in Computer Science, pages 224\u2013241. Springer Verlag, Berlin, 2001."},{"key":"11_CR22","unstructured":"Michael K\u00f6hler and Heiko R\u00f6lke. Mobile object net systems: Concurrency and mobility. In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, and P. Starke (Eds.), Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2002), Berlin, 2002."},{"key":"11_CR23","unstructured":"Olaf Kummer. Simulating synchronous channels and net instances. In J. Desel, P. Kemper, E. Kindler, and A. Oberweis (Eds.), Forschungsbericht Nr. 694: 5. Workshop Algorithmen und Werkzeuge f\u00fcr Petrinetze, pages 73\u201378. University of Hamburg, Computer Science Department, 1998."},{"key":"11_CR24","volume-title":"Referenznetze","author":"O. Kummer","year":"2002","unstructured":"Olaf Kummer. Referenznetze. Dissertation, University of Hamburg, Computer Science Department, Vogt-K\u00f6lln Str. 30, 22527 Hamburg, Germany, 2002."},{"key":"11_CR25","unstructured":"Olaf Kummer and Frank Wienberg. Reference net workshop (Renew). University of Hamburg, http:\/\/www.renew.de, 1998."},{"key":"11_CR26","volume-title":"Renew \u2014 User Guide","author":"O. Kummer","year":"2002","unstructured":"Olaf Kummer, Frank Wienberg, and Michael Duvigneau. Renew \u2014 User Guide. University of Hamburg, Computer Science Department, Vogt-K\u00f6lln Str. 30, 22527 Hamburg, Deutschland, 1.6 edition, 2002.","edition":"1.6 edition"},{"key":"11_CR27","unstructured":"Toshiyuki Miyamoto and Sadatoshi Kumagai. A Multi Agent Net Model of Autonomous Distributed Systems. In Proceedings of CESA\u201996, Symposium on Discrete Events and Manufacturing Systems, pages 619\u2013623, 1996."},{"issue":"1","key":"11_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, parts 1\u20132. Information and computation, 100(1):1\u201377, 1992.","journal-title":"Information and computation"},{"key":"11_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-63139-9_31","volume-title":"Multi-Agent-Systems based on Coloured Petri Nets","author":"D. Moldt","year":"1997","unstructured":"Daniel Moldt and Frank Wienberg. Multi-Agent-Systems based on Coloured Petri Nets. volume 1248 in Lecture Notes in Computer Science, pages 82\u2013101, Springer Verlag, Berlin, 1997."},{"key":"11_CR30","unstructured":"Rational Software Corporation. Rational UML Homepage. URL: http:\/\/www.rational.com\/uml\/, 2000."},{"key":"11_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"Wolfgang Reisig. Petri Nets: An Introduction. Springer Verlag, Berlin, 1985."},{"key":"11_CR32","unstructured":"Heiko R\u00f6lke. The Multi Agent Framework Mulan. Technical report, University of Hamburg, 2002."},{"key":"11_CR33","unstructured":"Sunsoft. Java Online Reference Manual. http:\/\/www.javasoft.com."},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Adelinde M. Uhrmacher, Petra Tyschler, and Dirk Tyschler. Modeling and simulation of mobile agents. Elsevier, Artificial Intelligence, 2000.","DOI":"10.1016\/S0167-739X(99)00107-7"},{"key":"11_CR35","unstructured":"R\u00fcdiger Valk. Modelling of task flow in systems of functional units. Technical Report FBI-HH-B-124\/87, University of Hamburg, 1987."},{"key":"11_CR36","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Application and Theory of Petri Nets","author":"R. Valk","year":"1998","unstructured":"R\u00fcdiger Valk. Petri nets as token objects: An introduction to elementary objectnets. In J\u00f6rg Desel and Manuel Silva (Eds.), Application and Theory of Petri Nets, volume 1420 of LNCS, pages 1\u201325, June 1998."},{"key":"11_CR37","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45397-0_5","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"R. Valk","year":"2001","unstructured":"R\u00fcdiger Valk. Concurrency in communicating object Petri nets. In G. Agha, F. De Cindio, and G. Rozenberg (Eds.), Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 2001."},{"key":"11_CR38","unstructured":"Jan Vitek and Giuseppe Castagna. Seal: A framework for secure mobile computations. In ICCL Workshop: Internet Programming Languages, pages 47\u201377, 1998."},{"key":"11_CR39","doi-asserted-by":"crossref","unstructured":"Dianxiang Xu and Yi Deng. Modeling mobile agent systems with high level Petri nets. In Proc. of IEEE International Conference on Systems, Man, and Cybernetics (SMC\u201900), pages 3177\u20133182, Nashville, October 2000.","DOI":"10.1109\/ICSMC.2000.886486"},{"key":"11_CR40","unstructured":"Haiping Xu and Sol M. Shatz. A Framework for Modeling Agent-Oriented Software. In Proc. of the 21th International Conference on Distributed Computing Systems (ICDCS-21), Phoenix, Arizona, April 2001."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44919-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T20:27:19Z","timestamp":1737404839000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}