{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T21:23:09Z","timestamp":1750454589144},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236108"},{"type":"electronic","value":"9783540304760"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30476-0_26","type":"book-chapter","created":{"date-parts":[[2011,1,12]],"date-time":"2011-01-12T17:51:35Z","timestamp":1294854695000},"page":"310-323","source":"Crossref","is-referenced-by-count":9,"title":["Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets"],"prefix":"10.1007","author":[{"given":"Marisa","family":"Llorens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Oliver","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Asperti, A., Busi, N.: Mobile Petri Nets. Technical report UBLCS-96-10, University of Bologna, Italy (1996)"},{"key":"26_CR2","unstructured":"Badouel, E., Darondeau, P., Tokmakoff, A.: Modelling Dynamic Agents Systems with Cooperating Automata. In: Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA 1999), USA, pp. 11\u201317 (1999)"},{"key":"26_CR3","unstructured":"Badouel, E., Llorens, M., Oliver, J.: Modelling Concurrent Systems: Reconfigurable Nets. In: Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA 2003), USA, vol.\u00a0IV, pp. 1568\u20131574 (2003)"},{"key":"26_CR4","unstructured":"Baldan, P.: Modelling Concurrent Computations: From Contextual Petri Nets to Graph Grammars. PhD Thesis, University of Pisa TD-1\/00 (2000)"},{"key":"26_CR5","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":"26_CR6","series-title":"ENTCS","volume-title":"Invited talk at the Joint COMPUGRAPH\/SEMAGRAPH Workshop on Graph Rewriting and Computation","author":"A. Corradini","year":"1995","unstructured":"Corradini, A.: Concurrent Computing: From Petri Nets to Graph Grammars. In: Invited talk at the Joint COMPUGRAPH\/SEMAGRAPH Workshop on Graph Rewriting and Computation. ENTCS, vol.\u00a02, Elsevier, Amsterdam (1995), \n                    \n                      http:\/\/www.elsevier.nl\/locate\/entcs\/volume2.html"},{"key":"26_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.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 103\u2013115. Springer, Heidelberg (1998)"},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BFb0019446","volume-title":"Foundations of Object-Oriented Languages","author":"J. Engelfriet","year":"1991","unstructured":"Engelfriet, J., Leih, G., Rozenberg, G.: Net Based Description of Parallel Objectbased Systems, or POTs and POPs. In: de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1990. LNCS, vol.\u00a0489, pp. 229\u2013273. Springer, Heidelberg (1991)"},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"CONCUR \u201996: Concurrency Theory","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G., L\u00e9vy, J., Maranget, L., R\u00e9my, D.: A Calculus of Mobile Agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 406\u2013421. Springer, Heidelberg (1996)"},{"key":"26_CR10","unstructured":"Gradit, P., Vernadat, F., Az\u00e9ma, P.: Layered \u0394-Net Specification of a Workshop. In: Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA 1999), USA, vol.\u00a0VI, pp. 2808\u20132814 (1999)"},{"key":"26_CR11","unstructured":"Llorens, M., Oliver, J.: Sistemas de Reescritura de Redes. In: XI Jornadas de Concurrencia, Benicassim, Castell\u00f3n (Spain), pp. 237\u2013250 (2003)"},{"key":"26_CR12","unstructured":"Llorens, M.: Redes Reconfigurables. Modelizaci\u00f3n y Verificaci\u00f3n. Phd thesis, Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, Universidad Polit\u00e9cnica de Valencia, Spain (2003)"},{"issue":"9","key":"26_CR13","doi-asserted-by":"publisher","first-page":"1147","DOI":"10.1109\/TC.2004.66","volume":"53","author":"M. Llorens","year":"2004","unstructured":"Llorens, M., Oliver, J.: Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Nets. IEEE Transactions on Computers\u00a053(9), 1147\u20131158 (2004)","journal-title":"IEEE Transactions on Computers"},{"issue":"1","key":"26_CR14","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. Journal of Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Journal of Information and Computation"},{"issue":"4","key":"26_CR15","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proc. of the IEEE"},{"key":"26_CR16","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"26_CR17","unstructured":"Schneider, H.: Graph Grammars as a Tool to Define the Behavior of Processes Systems: From Petri Nets to Linda. In: Proc. 5th Int. Conf. on Graph Grammars and their Application to Computer Science, Williamsburg, USA, pp. 7\u201312 (1994)"},{"key":"26_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1007\/3-540-08860-1_35","volume-title":"Automata, Languages and Programming","author":"R. Valk","year":"1978","unstructured":"Valk, R.: Self-modifying Nets, a Natural Extension of Petri Nets. In: Ausiello, G., B\u00f6hm, C. (eds.) ICALP 1978. LNCS, vol.\u00a062, pp. 464\u2013476. Springer, Heidelberg (1978)"},{"key":"26_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/3-540-10856-4_80","volume-title":"Mathematical Foundations of Computer Science 1981","author":"R. Valk","year":"1981","unstructured":"Valk, R.: Generalizations of Petri Nets. In: Gruska, J., Chytil, M.P. (eds.) MFCS 1981. LNCS, vol.\u00a0118, pp. 140\u2013155. Springer, Heidelberg (1981)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30476-0_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:02:41Z","timestamp":1620014561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30476-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236108","9783540304760"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30476-0_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}