{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:25:47Z","timestamp":1742937947789,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642048548"},{"type":"electronic","value":"9783642048562"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04856-2_6","type":"book-chapter","created":{"date-parts":[[2009,11,4]],"date-time":"2009-11-04T07:41:51Z","timestamp":1257320511000},"page":"127-158","source":"Crossref","is-referenced-by-count":5,"title":["Modelling Mobile IP with Mobile Petri Nets"],"prefix":"10.1007","author":[{"given":"Charles","family":"Lakos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"6_CR1","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. IEEE Transactions on Computers\u00a042(11), 1343\u20131360 (1993)","journal-title":"IEEE Transactions on Computers"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-58152-9_10","volume-title":"Application and Theory of Petri Nets 1994","author":"S. Christensen","year":"1994","unstructured":"Christensen, S., Hansen, N.D.: Coloured Petri Nets Extended with Channels for Synchronous Communication. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815, pp. 159\u2013178. Springer, Heidelberg (1994)"},{"issue":"3","key":"6_CR3","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1093\/comjnl\/43.3.224","volume":"43","author":"S. Christensen","year":"2000","unstructured":"Christensen, S., Petrucci, L.: Modular analysis of Petri Nets. The Computer Journal\u00a043(3), 224\u2013242 (2000)","journal-title":"The Computer Journal"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/978-3-540-30232-2_20","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"R. Devillers","year":"2004","unstructured":"Devillers, R., Klaudel, H., Koutny, M.: Petri Net Semantics of the Finite \u03c0-Calculus. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 309\u2013325. Springer, Heidelberg (2004)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/BFb0055044","volume-title":"Automata, Languages and Programming","author":"C. Dufourd","year":"1998","unstructured":"Dufourd, C., Finkel, A., Schnoebelen, P.: Reset nets between decidability and undecidability. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 103\u2013115. Springer, Heidelberg (1998)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computational Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.: Mobile Ambients. In: Nivat, M. (ed.) Foundations of Software Science and Computational Structures. LNCS, vol.\u00a01998, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"issue":"3-4","key":"6_CR7","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K. Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Journal of Software Tools for Technology Transfer\u00a09(3-4), 213\u2013254 (2007)","journal-title":"Journal of Software Tools for Technology Transfer"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-45740-2_14","volume-title":"Applications and Theory of Petri Nets 2001","author":"M. K\u00f6hler","year":"2001","unstructured":"K\u00f6hler, M., Moldt, D., R\u00f6lke, H.: Modelling the Structure and Behaviour of Petri Net Agents. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 224\u2013241. Springer, Heidelberg (2001)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-44919-1_11","volume-title":"Applications and Theory of Petri Nets 2003","author":"M. K\u00f6hler","year":"2003","unstructured":"K\u00f6hler, M., Moldt, D., R\u00f6lke, H.: Modelling Mobility and Mobile Agents Using Nets within Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 121\u2013139. Springer, Heidelberg (2003)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/978-3-540-27793-4_16","volume-title":"Applications and Theory of Petri Nets 2004","author":"M. K\u00f6hler","year":"2004","unstructured":"K\u00f6hler, M., R\u00f6lke, H.: Properties of Object Petri Nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 278\u2013297. Springer, Heidelberg (2004)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/11562948_16","volume-title":"Automated Technology for Verification and Analysis","author":"C.A. Lakos","year":"2005","unstructured":"Lakos, C.A., Kristensen, L.M.: State Space Exploration of Object-Based Systems using Equivalence Reduction and the Sweepline Method. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol.\u00a03707, pp. 187\u2013201. Springer, Heidelberg (2005)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1007\/978-3-540-27793-4_29","volume-title":"Applications and Theory of Petri Nets 2004","author":"O. Kummer","year":"2004","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., K\u00f6hler, M., Moldt, D., R\u00f6lke, H., Valk, R.: An extensible editor and simulation engine for Petri nets: Renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 484\u2013493. Springer, Heidelberg (2004)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/3-540-58152-9_19","volume-title":"Application and Theory of Petri Nets 1994","author":"C. Lakos","year":"1994","unstructured":"Lakos, C., Christensen, S.: A General Systematic Approach to Arc Extensions for Coloured Petri Nets. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815, pp. 338\u2013357. Springer, Heidelberg (1994)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/11562436_14","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"C.A. Lakos","year":"2005","unstructured":"Lakos, C.A.: A Petri Net View of Mobility. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 174\u2013188. Springer, Heidelberg (2005)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/3-540-48068-4_25","volume-title":"Application and Theory of Petri Nets 2002","author":"M. M\u00e4kel\u00e4","year":"2002","unstructured":"M\u00e4kel\u00e4, M.: Maria: Modular Reachability Analyser for Algebraic System Nets. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 434\u2013444. Springer, Heidelberg (2002)"},{"key":"6_CR16","unstructured":"M\u00e4kel\u00e4, M.: Maria - Modular Reachability Analyzer for Algebraic System Nets (Version 1.3.4). Technical report, Helsinki University of Technology, Laboratory for Theoretical Computer Science (June 2003)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-44919-1_15","volume-title":"Applications and Theory of Petri Nets 2003","author":"M. M\u00e4kel\u00e4","year":"2003","unstructured":"M\u00e4kel\u00e4, M.: Model Checking Safety Properties in Modular High-Level Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 201\u2013220. Springer, Heidelberg (2003)"},{"issue":"2","key":"6_CR18","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/304399.304400","volume":"8","author":"P.J. McCann","year":"1999","unstructured":"McCann, P.J., Roman, G.C.: Modeling Mobile IP in Mobile UNITY. ACM Transactions on Software Engineering and Methodology\u00a08(2), 115\u2013146 (1999)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"1","key":"6_CR19","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/151233.151240","volume":"36","author":"R. Milner","year":"1993","unstructured":"Milner, R.: Elements of Interaction. Communications of the ACM\u00a036(1), 78\u201389 (1993)","journal-title":"Communications of the ACM"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45740-2_2","volume-title":"Applications and Theory of Petri Nets 2001","author":"R. Milner","year":"2001","unstructured":"Milner, R.: The Flux of Interaction. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 19\u201322. Springer, Heidelberg (2001)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Perkins, C.: IP Mobility Support. Rfc 2002, Internet Engineering Task Force (IETF) (October 1996)","DOI":"10.17487\/rfc2002"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Perkins, C.: IP Mobility Support for IPv4. Rfc 3344, Internet Engineering Task Force (IETF) (August. 2002)","DOI":"10.17487\/rfc3344"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets I: Basic Models. LNCS, vol.\u00a01491. Springer, Heidelberg (1998)"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets II: Applications","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets II: Applications. LNCS, vol.\u00a01492. Springer, Heidelberg (1998)"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1007\/978-3-540-27755-2_23","volume-title":"Lectures on Concurrency and Petri Nets","author":"R. Valk","year":"2004","unstructured":"Valk, R.: Object Petri Nets \u2014 Using the Nets-within-Nets Paradigm. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 819\u2013848. Springer, Heidelberg (2004)"},{"key":"6_CR26","volume-title":"IEEE Workshop on Internet Programming Languages","author":"J. Vitek","year":"1998","unstructured":"Vitek, J., Castagna, G.: Towards a Calculus of Secure Mobile Computations. In: IEEE Workshop on Internet Programming Languages, Chicago. IEEE, Los Alamitos (1998)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency III"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04856-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T00:33:07Z","timestamp":1676680387000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-04856-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642048548","9783642048562"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04856-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}