{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:39:00Z","timestamp":1725899940554},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642305665"},{"type":"electronic","value":"9783642305672"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30567-2_34","type":"book-chapter","created":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T07:10:40Z","timestamp":1349075440000},"page":"403-414","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Framework and a Tool to Process and Simulate Labelled Reconfigurable Nets Models Based on Graph Transformation"],"prefix":"10.1007","author":[{"given":"Nardjes","family":"Dehimi","sequence":"first","affiliation":[]},{"given":"Raida","family":"Elmansouri","sequence":"additional","affiliation":[]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"Asperti, A., Busi, N.: Mobile Petri Nets. Technical Report UBLCS-96-10, Department of Computer Science University of Bologna (1996)"},{"key":"34_CR2","unstructured":"ATOM3 Home page, version 3.00, http:\/\/atom3.cs.mcgill.ca"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Bahri, M.R., Hettab, A., Chaoui, A., Kerkouche, E.: Transforming Mobile UML Statecharts Models to Nested Nets Models using Graph Grammars: An Approach for Modeling and Analysis of Mobile Agent-Based Software Systems. In: Proccedings of IEEE SEEFM 2009, the 2009 Fourth South-East European Workshop on Formal Methods, Thessaloniki, Greece, December 5, pp. 33\u201339 (2009)","DOI":"10.1109\/SEEFM.2009.21"},{"key":"34_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.: Modeling Mobility with Petri Hypernets. In: Fiadeiro, J.L., Mosses, P.D., Yu, Y. (eds.) WADT 2004. LNCS, vol.\u00a03423, pp. 28\u201344. Springer, Heidelberg (2005)"},{"key":"34_CR5","unstructured":"Xu, D., Deng, Y.: Modeling Mobile Agent Systems with High Level Petri Nets. 0-7803- 6583-6\/00\/ \u00a9 2000 IEEE"},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-45347-5_7","volume-title":"Agent Systems, Mobile Agents, and Applications","author":"F. Dur\u00e1n","year":"2000","unstructured":"Dur\u00e1n, F., Eker, S., Lincoln, P., Meseguer, J.: Principles of Mobile Maude. In: Kotz, D., Mattern, F. (eds.) ASA\/MA 2000. LNCS, vol.\u00a01882, pp. 73\u201385. Springer, Heidelberg (2000)"},{"key":"34_CR7","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)"},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Fuggetta, A., Picco, G.P., Vigna, G.: Understanding Code Mobility. IEEE Transactions on Software Engineering\u00a024(5) (1998)","DOI":"10.1109\/32.685258"},{"key":"34_CR9","unstructured":"Kahloul, L., Chaoui, A.: Labeled reconfigurable nets for modeling code mobility. In: Proceedings of ACIT 2007, Lattakia, Syria (2007)"},{"key":"34_CR10","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)"},{"key":"34_CR11","first-page":"283","volume":"47","author":"I.A. Lomazova","year":"2002","unstructured":"Lomazova, I.A.: Nested Petri Nets. Multilevel and Recursive Systems. Fundamenta Informaticae\u00a047, 283\u2013293 (2002)","journal-title":"Fundamenta Informaticae"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"Meseguer, J.: A Logical Theory of Concurrent Objects and its Realization in the Maude Language. In: Agha, G., Wegner, P., Yonezawa, A. (eds.) Research Directions in Object-Based Concurrency, pp. 314\u2013390. MIT Press (1992)","DOI":"10.7551\/mitpress\/2087.003.0017"},{"key":"34_CR13","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\u201377 (1992)","journal-title":"Information and Computation"},{"issue":"1","key":"34_CR14","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1504\/IJWET.2005.007462","volume":"2","author":"I. Reinhartz-Berger","year":"2005","unstructured":"Reinhartz-Berger, I., Dori, D., Katz, S.: Modeling code mobility and migration: an OPM\/Web approach. Int. J. Web Engineering and Technology\u00a02(1), 6\u201328 (2005)","journal-title":"Int. J. Web Engineering and Technology"},{"key":"34_CR15","unstructured":"Rozengerg, G.: Handbook of Graph Grammar and computing Graph Transformation. World Scientific (1999)"},{"key":"34_CR16","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-Calculus: A Theory of Mobile Processes. Cambridge University Press (2001)"},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"Self, A.L., Scott, A.D.: Designing and Specifying Mobility within the Multiagent Systems Engineering methodology Special Track on Agents, Interactions, Mobility, and Systems (AIMS) at the 18th ACM Symposium on Applied Computing (SAC 2003), Melbourne, Florida, USA (2003)","DOI":"10.1145\/952532.952545"},{"key":"34_CR18","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":"34_CR19","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Quesada, J.: Maude:specification and programming in rewriting logic. SRI International (January 1999), http:\/\/maude.csl.sri.com"},{"issue":"1","key":"34_CR20","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"34_CR21","doi-asserted-by":"crossref","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Real-Time Maude: A tool for simulating and analyzing real-time and hybrid systems. In: Futatsugi, K. (ed.) Third International Workshop on Rewriting Logic and its Applications. ENTCS, vol.\u00a036. Elsevier (2000), http:\/\/www.elsevier.nl\/locate.entcs\/volume36.html","DOI":"10.1016\/S1571-0661(05)80134-3"},{"key":"34_CR22","unstructured":"Kahloul, L., Chaoui, A.: LRN\/R-Maude Based Approach For Modeling And Simulation Of Mobile Code Systems. In: Proceedings of ACIT 2008, Tunisia (2008)"},{"key":"34_CR23","unstructured":"El Mansouri, R., Kerkouche, E., Chaoui, A.: A Graphical Environment for Petri Nets INA Tool Based on Meta-Modelling and Graph Grammars. Proceedings of Word Academy of Science, Engineering and Technology\u00a034 (October 2008) ISSN 2070-3740"},{"key":"34_CR24","unstructured":"INA Tool Home page, http:\/\/www2.informatik.huberlin.de\/~starke\/ina.html"},{"key":"34_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-540-92295-7_26","volume-title":"Distributed Computing and Networking","author":"E. Kerkouche","year":"2008","unstructured":"Kerkouche, E., Chaoui, A.: A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation. In: Garg, V., Wattenhofer, R., Kothapalli, K. (eds.) ICDCN 2009. LNCS, vol.\u00a05408, pp. 206\u2013211. Springer, Heidelberg (2008)"},{"key":"34_CR26","doi-asserted-by":"crossref","unstructured":"Kerkouche, E., Chaoui, A., Khalfaoui, K.: Transforming UML models to colored Petri nets models using graph grammars. In: Proceedings of IEEE ISCC 2009, Tunisia, July 5-7, pp. 230\u2013236 (2009)","DOI":"10.1109\/ISCC.2009.5202298"},{"issue":"2","key":"34_CR27","first-page":"83","volume":"1","author":"S. Armoogum","year":"2010","unstructured":"Armoogum, S., Caully, A.: Obfuscation Techniques for Mobile Agent code confidentiality. Journal of E-Technology\u00a01(2), 83\u201394 (2010)","journal-title":"Journal of E-Technology"},{"issue":"4","key":"34_CR28","doi-asserted-by":"crossref","first-page":"169","DOI":"10.20533\/ijicr.2042.4655.2011.0022","volume":"2","author":"A. Sarkar","year":"2011","unstructured":"Sarkar, A., Debnath, N.: CASE Tool Design for Graph Semantic Based Aspect Oriented Model. Journal of Intelligent Computing\u00a02(4), 169\u2013182 (2011)","journal-title":"Journal of Intelligent Computing"}],"container-title":["Communications in Computer and Information Science","Networked Digital Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30567-2_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T22:52:25Z","timestamp":1714431145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30567-2_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642305665","9783642305672"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30567-2_34","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}