{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:47:12Z","timestamp":1743137232806,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291893"},{"type":"electronic","value":"9783540320845"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/11562436_14","type":"book-chapter","created":{"date-parts":[[2005,10,19]],"date-time":"2005-10-19T09:40:51Z","timestamp":1129714851000},"page":"174-188","source":"Crossref","is-referenced-by-count":12,"title":["A Petri Net View of Mobility"],"prefix":"10.1007","author":[{"given":"Charles A.","family":"Lakos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/3-540-44690-7_18","volume-title":"Robot Vision","author":"L. Cardelli","year":"2001","unstructured":"Cardelli, L., Gordon, A.: Mobile Ambients. In: Klette, R., Peleg, S., Sommer, G. (eds.) RobVis 2001. LNCS, vol.\u00a01998, pp. 140\u2013155. Springer, Heidelberg (2001)"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-60029-9_41","volume-title":"Application and Theory of Petri Nets 1995","author":"S. Christensen","year":"1995","unstructured":"Christensen, S., Petrucci, L.: Modular State Space Analysis of Coloured Petri Nets. In: De Michelis, G., Diaz, M. (eds.) ICATPN 1995. LNCS, vol.\u00a0935, pp. 201\u2013217. Springer, Heidelberg (1995)"},{"issue":"3","key":"14_CR4","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":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/3-540-65306-6_15","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J. Desel","year":"1998","unstructured":"Desel, J., Reisig, W.: Place\/Transition Petri Nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 122\u2013173. Springer, Dagstuhl (1998)"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"14_CR7","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., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 103\u2013115. Springer, Heidelberg (1998)"},{"key":"14_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":"14_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":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-60029-9_45","volume-title":"Application and Theory of Petri Nets 1995","author":"C.A. Lakos","year":"1995","unstructured":"Lakos, C.A.: From Coloured Petri Nets to Object Petri Nets. In: DeMichelis, G., D\u00edaz, M. (eds.) ICATPN 1995. LNCS, vol.\u00a0935, pp. 278\u2013297. Springer, Heidelberg (1995)"},{"key":"14_CR14","unstructured":"Lakos, C.A.: State Space Exploration of Object-Based Systems. Technical Report TR05-01, Department of Computer Science, University of Adelaide (April 2005)"},{"key":"14_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)"},{"issue":"1","key":"14_CR16","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":"14_CR17","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":"14_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol.\u00a01491. Springer, Berlin (1998)"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets II: Applications","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol.\u00a01492. Springer, Berlin (1998)"},{"key":"14_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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\u2013Using 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":"14_CR21","doi-asserted-by":"crossref","unstructured":"Vitek, J., Castagna, G.: Towards a Calculus of Secure Mobile Computations. In: IEEE Workshop on Internet Programming Languages, Chicago. IEEE Computer Society Press, Los Alamitos (1998)","DOI":"10.1007\/3-540-47959-7_3"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11562436_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T10:40:26Z","timestamp":1586515226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11562436_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291893","9783540320845"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11562436_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}