{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:23:59Z","timestamp":1759638239106,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642142918"},{"type":"electronic","value":"9783642142925"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14292-5_36","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T13:51:13Z","timestamp":1277819473000},"page":"343-357","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and Analysis of Reconfigurable Systems Using Flexible Nets"],"prefix":"10.1007","author":[{"given":"Laid","family":"Kahloul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karim","family":"Djouani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"36_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Information and Computation\u00a0100(1), 1\u201340 (1992)","journal-title":"Information and Computation"},{"key":"36_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"36_CR3","unstructured":"Badouel, E., Javier, O.: Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems. Research report INRIA (1998) ISSN\u00a00249-6399"},{"key":"36_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-45699-6_6","volume-title":"Applied Semantics","author":"C. Fournet","year":"2002","unstructured":"Fournet, C., Gonthier, G.: The Join Calculus: A Language for Distributed Mobile Programming. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol.\u00a02395, pp. 268\u2013332. Springer, Heidelberg (2002)"},{"issue":"6","key":"36_CR5","doi-asserted-by":"publisher","first-page":"1265","DOI":"10.1017\/S0960129509990193","volume":"19","author":"A. Asperti","year":"2009","unstructured":"Asperti, A., Busi, N.: Mobile Petri Nets. Mathematical Structures in Computer Science\u00a019(6), 1265\u20131278 (2009)","journal-title":"Mathematical Structures in Computer Science"},{"key":"36_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-69108-1_1","volume-title":"Application and Theory of Petri Nets 1998","author":"R. Valk","year":"1998","unstructured":"Valk, R.: Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 1\u201325. Springer, Heidelberg (1998)"},{"key":"36_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/3-540-45315-6_7","volume-title":"Foundations of Software Science and Computation Structures","author":"M. Buscemi","year":"2001","unstructured":"Buscemi, M., Sassone, V.: High-Level Petri Nets as Type Theories in the Join Calculus. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol.\u00a02030, pp. 104\u2013120. Springer, Heidelberg (2001)"},{"key":"36_CR8","unstructured":"Lomazova, I.A.: Nested Petri Nets; Multi-level and Recursive Systems. Fundamenta Informaticae\u00a047, 283\u2013293"},{"key":"36_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/978-3-540-31959-7_2","volume-title":"Recent Trends in Algebraic Development Techniques","author":"M.A. Bednarczyk","year":"2005","unstructured":"Bednarczyk, M.A., Bernardinello, L., Pawlowski, W., Pomello, L.: Modelling Mobility with Petri Hypernets. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol.\u00a03423, pp. 28\u201344. Springer, Heidelberg (2005)"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Rosa-Velardo, F., Marroqn Alonso, O., Frutos Escrig, D.: Mobile Synchronizing Petri Nets: a choreographic approach for coordination in Ubiquitous Systems. In: 1st Int. Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord\u201905. ENTCS, vol.\u00a0150 (2005)","DOI":"10.1016\/j.entcs.2005.12.026"},{"key":"36_CR11","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/j.tcs.2005.09.067","volume":"351","author":"A. Knapp","year":"2006","unstructured":"Knapp, A., Merz, S., Wirsing, M., Zappe, J.: Specification and refinement of mobile systems in MTLA and mobile UML. Theoretical Computer Science\u00a0351, 184\u2013202 (2006)","journal-title":"Theoretical Computer Science"},{"key":"36_CR12","doi-asserted-by":"crossref","unstructured":"Fuggetta, A., Picco, G.P., Vigna, G.: Understanding Code Mobility. IEEE transactions on software engineering\u00a024(5) (May 1998)","DOI":"10.1109\/32.685258"},{"issue":"4","key":"36_CR13","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1016\/j.pmcj.2007.04.002","volume":"3","author":"E. Aitenbichler","year":"2008","unstructured":"Aitenbichler, E., Kangasharju, J., Muhlhauser, M.: MundoCoreA: Light-weight Infrastructure for Pervasive Computing. Pervasive and Mobile Computing\u00a03(4), 332\u2013361 (2008)","journal-title":"Pervasive and Mobile Computing"},{"issue":"4","key":"36_CR14","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/j.pmcj.2007.04.006","volume":"3","author":"P. Bellavista","year":"2008","unstructured":"Bellavista, P., Corradi, A., Foschini, L.: Context-Aware Handoff Middleware for Transparent Service Continuity in Wireless Networks. Pervasive and Mobile Computing\u00a03(4), 439\u2013466 (2008)","journal-title":"Pervasive and Mobile Computing"},{"key":"36_CR15","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1016\/j.pmcj.2008.07.003","volume":"4","author":"V. Baousis","year":"2008","unstructured":"Baousis, V., Kyriakakos, M., Hadjiefthymiades, S., Merakos, L.: Performance evaluation of a mobile agent-based platform for ubiquitous service provision. Pervasive and Mobile Computing\u00a04, 755\u2013774 (2008)","journal-title":"Pervasive and Mobile Computing"},{"key":"36_CR16","unstructured":"Kahloul, L., Chaoui, A.: Code Mobility Modeling.: A Temporal Labeled Reconfigurable Nets. In: The 1st International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications, Innsbruck, Austria, February 14 (2008)"},{"key":"36_CR17","unstructured":"Kahloul, L., Chaoui, A.: Coloured reconfigurable nets for code mobility modeling. In: Int. J. of Computers, Communications & Control, Proceedings of ICCCC 2008, vol.\u00a0III(suppl.), pp. 358\u2013363 (2008) ISSN 1841-9836, E-ISSN 1841-9844"},{"key":"36_CR18","volume-title":"Monographs in Theoretical Computer Science, 2nd corrected printing 1997","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use: Basic Concepts. In: Monographs in Theoretical Computer Science, 2nd corrected printing 1997, vol.\u00a01. Springer, Heidelberg (1997) ISBN: 3-540-60943-1"},{"key":"36_CR19","doi-asserted-by":"crossref","unstructured":"Xu, D., Deng, Y.: Modeling Mobile Agent Systems with High Level Petri Nets. In: IEEE International Conference on Systems, Man, and Cybernetics, vol.\u00a05, pp. 3177\u20133182 (2000)","DOI":"10.1109\/ICSMC.2000.886486"},{"key":"36_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/11767589_14","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"K.M. Hee van","year":"2006","unstructured":"van Hee, K.M., Lomazova, I.A., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Nested Nets for Adaptive Systems. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 241\u2013260. Springer, Heidelberg (2006)"},{"issue":"2","key":"36_CR21","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0166-5316(03)00069-5","volume":"54","author":"S. Gilmore","year":"2003","unstructured":"Gilmore, S., Hillston, J., Kloul, L., Ribaudo, M.: PEPA nets: A structured performance modelling formalism. Performance Evaluation\u00a054(2), 79\u2013104 (2003)","journal-title":"Performance Evaluation"},{"key":"36_CR22","unstructured":"Cervesato, I.: Petri Nets and Linear Logic: A case study for logic programming. In: The Joint Conference on Declarative Programming, Italy, September 11-14, pp. 313\u2013318 (1995)"},{"issue":"1","key":"36_CR23","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.entcs.2006.10.021","volume":"174","author":"F. Rosa-Velardo","year":"2007","unstructured":"Rosa-Velardo, F.: Coding Mobile Synchronizing Petri Nets into Rewriting Logic. Electronic Notes in Theoretical Computer science\u00a0174(1), 83\u201398 (2007)","journal-title":"Electronic Notes in Theoretical Computer science"},{"key":"36_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/3-540-45315-6_7","volume-title":"Foundations of Software Science and Computation Structures","author":"M.G. Buscemi","year":"2001","unstructured":"Buscemi, M.G., Sassone, V.: High-Level Petri Nets as Type Theories in the Join Calculus. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol.\u00a02030, p. 104. Springer, Heidelberg (2001)"},{"key":"36_CR25","volume-title":"Introduction to Wireless and Mobile Systems","author":"D.P. Agrawal","year":"2003","unstructured":"Agrawal, D.P., Zeng, Q.A.: Introduction to Wireless and Mobile Systems. Brooks\/Cole, Monterey (2003)"},{"key":"36_CR26","unstructured":"Siegwart, R., Nourbakhsh, I.R.: Introduction to Autonomous Mobile Robots. Bradford Book (2004)"}],"container-title":["Communications in Computer and Information Science","Networked Digital Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14292-5_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T09:38:01Z","timestamp":1740217081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14292-5_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642142918","9783642142925"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14292-5_36","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2010]]}}}