{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:24:10Z","timestamp":1725891850427},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540472377"},{"type":"electronic","value":"9783540472384"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11901914_34","type":"book-chapter","created":{"date-parts":[[2006,10,10]],"date-time":"2006-10-10T01:21:43Z","timestamp":1160443303000},"page":"461-476","source":"Crossref","is-referenced-by-count":1,"title":["Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Rosa-Velardo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"de Frutos-Escrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"Asperti, A., Busi, N.: Mobile Petri Nets. Technical Report UBLCS-96-10, University of Bologna (1996)"},{"issue":"1-2","key":"34_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1999.2843","volume":"160","author":"P. Aziz Abdulla","year":"2000","unstructured":"Aziz Abdulla, P., Cerans, K., Jonsson, B.: Algorithmic Analysis of Programs with Well Quasi-Ordered Domains. Inf. Comput.\u00a0160(1-2), 109\u2013127 (2000)","journal-title":"Inf. Comput."},{"key":"34_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, Springer, Heidelberg (2005)"},{"issue":"1","key":"34_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0960129504004311","volume":"15","author":"P. Baldan","year":"2005","unstructured":"Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional semantics for open Petri Nets based on deterministic processes. Mathematical Structures in Computer Science\u00a015(1), 1\u201335 (2005)","journal-title":"Mathematical Structures in Computer Science"},{"key":"34_CR5","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 Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"34_CR6","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)"},{"key":"34_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-44881-0_7","volume-title":"Rewriting Techniques and Applications","author":"M. Clavel","year":"2003","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: The Maude 2.0 System. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 76\u201387. Springer, Heidelberg (2003)"},{"key":"34_CR8","unstructured":"Johnen, C.: Decidability of Home Space Property. Petri Net Newsletter(29) (1988)"},{"key":"34_CR9","series-title":"Lecture Notes in Computer Science","first-page":"159","volume-title":"Application and Theory of Petri Nets 1994","author":"E. Kindler","year":"1994","unstructured":"Kindler, E.: A Compositional Partial Order Semantics for Petri Net Components. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815, pp. 159\u2013178. Springer, Heidelberg (1994)"},{"key":"34_CR10","first-page":"283","volume":"47","author":"I.A. Lomazova","year":"2002","unstructured":"Lomazova, I.A.: Nested Petri Nets; Multi-level and Recursive Systems. Fundamenta Informaticae\u00a047, 283\u2013293 (2002)","journal-title":"Fundamenta Informaticae"},{"key":"34_CR11","volume-title":"Basic Concepts. Monographs in Theor. Comp. Science","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets.Basic Concepts, Analysis Methods and Practical Use. In: Basic Concepts. Monographs in Theor. Comp. Science, vol.\u00a01, Springer, Heidelberg (1997)"},{"key":"34_CR12","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. Lakos","year":"2005","unstructured":"Lakos, C.: A Petri Net View of Mobility. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 174\u2013188. Springer, Heidelberg (2005)"},{"key":"34_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-540-24727-2_2","volume-title":"Foundations of Software Science and Computation Structures","author":"R. Milner","year":"2004","unstructured":"Milner, R.: Theories for the Global Ubiquitous Computer. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 5\u201311. Springer, Heidelberg (2004)"},{"key":"34_CR14","series-title":"ENTCS","volume-title":"MTCoord 2005","author":"F. Rosa-Velardo","year":"2006","unstructured":"Rosa-Velardo, F., Marroqu\u00edn-Alonso, O., de Frutos-Escrig, D.: Mobile Synchronizing Petri Nets: a choreographic approach for coordination in Ubiquitous Systems. In: MTCoord 2005. ENTCS, vol.\u00a0150(1), Elsevier, Amsterdam (2006)"},{"key":"34_CR15","unstructured":"Rosa-Velardo, F., de Frutos-Escrig, D., Marroqu\u00edn-Alonso, O.: On the expressiveness of Mobile Synchronizing Petri Nets. In: 3rd Int. Workshop on Security Issues in Concurrency, SecCo 2005. ENTCS (to appear, 2005) \n                    \n                      http:\/\/kimba.mat.ucm.es\/~frosa"},{"key":"34_CR16","series-title":"ENTCS","volume-title":"Tagged systems: a framework for the specification of history dependent properties","author":"F. Rosa-Velardo","year":"2005","unstructured":"Rosa-Velardo, F., Segura-D\u00edaz, C., de Frutos-Escrig, D.: Tagged systems: a framework for the specification of history dependent properties. ENTCS, vol.\u00a0137(1). Elsevier, Amsterdam (2005)"},{"key":"34_CR17","unstructured":"Rosa-Velardo, F., Frutos-Escrig, D.: Deciding Coverability in Open Petri Net Systems (submitted) \n                    \n                      http:\/\/kimba.mat.ucm.es\/~frosa"},{"key":"34_CR18","unstructured":"Rosa-Velardo, F.: Coding Mobile Synchronizing Petri Nets into Rewriting Logic. In: 7th International Workshop on Rule-Based Programming, RULE 2006. ENTCS (to appear) \n                    \n                      http:\/\/kimba.mat.ucm.es\/~frosa"},{"key":"34_CR19","series-title":"Wiley Series in Communications Networking & Distributed Systems","doi-asserted-by":"publisher","DOI":"10.1002\/0470848693","volume-title":"Security for Ubiquitous Computing","author":"F. Stajano","year":"2002","unstructured":"Stajano, F.: Security for Ubiquitous Computing. Wiley Series in Communications Networking & Distributed Systems. John Wiley & Sons, Chichester (2002)"},{"key":"34_CR20","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)"},{"issue":"7","key":"34_CR21","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/159544.159617","volume":"36","author":"M. Weiser","year":"1993","unstructured":"Weiser, M.: Some Computer Science Issues in Ubiquitous Computing. Comm. of the ACM\u00a036(7), 74\u201384 (1993)","journal-title":"Comm. of the ACM"}],"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\/11901914_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T01:30:19Z","timestamp":1552440619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901914_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540472377","9783540472384"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11901914_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}