{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:04:53Z","timestamp":1773655493376,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642290718","type":"print"},{"value":"9783642290725","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29072-5_9","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T18:18:02Z","timestamp":1332440282000},"page":"201-220","source":"Crossref","is-referenced-by-count":3,"title":["Nets-Within-Nets Paradigm and Grid Computing"],"prefix":"10.1007","author":[{"given":"Marco","family":"Mascheroni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Farina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1007\/11752578_86","volume-title":"Parallel Processing and Applied Mathematics","author":"M. Alt","year":"2006","unstructured":"Alt, M., Hoheisel, A., Pohl, H.W., Gorlatch, S.: A Grid Workflow Language Using High-Level Petri Nets. In: Wyrzykowski, R., Dongarra, J., Meyer, N., Wa\u015bniewski, J. (eds.) PPAM 2005. LNCS, vol.\u00a03911, pp. 715\u2013722. Springer, Heidelberg (2006)"},{"key":"9_CR2","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., Paw\u0142owski, W., Pomello, L.: Modelling 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":"9_CR3","unstructured":"Bednarczyk, M.A., Bernardinello, L., Paw\u0142owski, W., Pomello, L.: From Petri hypernets to 1-safe nets. In: Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents, MOCA 2006, Bericht 272, FBI-HH-B-272\/06, pp. 23\u201343 (June 2006)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-77312-2_8","volume-title":"Membrane Computing","author":"L. Bernardinello","year":"2007","unstructured":"Bernardinello, L., Bonzanni, N., Mascheroni, M., Pomello, L.: Modeling Symport\/Antiport P Systems with a Class of Hierarchical Petri Nets. In: Eleftherakis, G., Kefalas, P., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol.\u00a04860, pp. 124\u2013137. Springer, Heidelberg (2007)"},{"key":"9_CR5","unstructured":"Bratosin, C., van der Aalst, W., Sidorova, N.: Modeling Grid workflows with Coloured Petri nets. In: Procs. of the 8th Workshop on Practical Use of Coloured Petri Nets and CPN Tools, CPN 2007, pp. 67\u201386 (2007)"},{"key":"9_CR6","unstructured":"CERN. Worldwide LHC Computing Grid, \n                  \n                    http:\/\/lcg.web.cern.ch\/lcg\/public\/\n                  \n                  \n                 (accessed May 2010)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-642-13675-7_10","volume-title":"Applications and Theory of Petri Nets","author":"C. Choppy","year":"2010","unstructured":"Choppy, C., Dedova, A., Evangelista, S., Hong, S., Klai, K., Petrucci, L.: The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol.\u00a06128, pp. 145\u2013164. Springer, Heidelberg (2010)"},{"issue":"5","key":"9_CR8","doi-asserted-by":"publisher","first-page":"2850","DOI":"10.1109\/TNS.2009.2028076","volume":"56","author":"G. Codispoti","year":"2009","unstructured":"Codispoti, G., Cinquilli, M., Fanfani, A., Fanzago, F., Farina, F., Kavka, C., Lacaprara, S., Miccio, V., Spiga, D., Vaandering, E.: CRAB: a CMS Application for Distributed Analysis. IEEE Transactions on Nuclear Science\u00a056(5), 2850\u20132858 (2009)","journal-title":"IEEE Transactions on Nuclear Science"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Applications and Theory of Petri Nets 2004","year":"2004","unstructured":"Cortadella, J., Reisig, W. (eds.): ICATPN 2004. LNCS, vol.\u00a03099. Springer, Heidelberg (2004)"},{"key":"9_CR10","unstructured":"Darwin, I.F.: Checking C Programs with Lint Nutshell Handbooks. O\u2019Reilly Media (1988)"},{"key":"9_CR11","volume-title":"The Grid 2: Blueprint for a New Computing Infrastructure","author":"I. Foster","year":"2003","unstructured":"Foster, I., Kesselman, C.: The Grid 2: Blueprint for a New Computing Infrastructure. Morgan Kaufmann Publishers Inc., San Francisco (2003)"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/MC.2002.1009167","volume":"35","author":"I. Foster","year":"2002","unstructured":"Foster, I., Kesselman, C., Nick, J.M., Tuecke, S.: Tuecke. Grid services for distributed system integration. Computer\u00a035, 37\u201346 (2002)","journal-title":"Computer"},{"key":"9_CR13","unstructured":"Guan, Z., Hernandez, F., Bangalore, P., Gray, J., Skjellum, A., Velusamy, V., Liu, Y.: Grid-Flow: a Grid-enabled scientific workflow system with a Petri-net-based interface: Research Articles. Concurr. Comput.: Pract. Exper.\u00a018, 1115\u20131140"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/11494744_16","volume-title":"Applications and Theory of Petri Nets 2005","author":"K. Hoffmann","year":"2005","unstructured":"Hoffmann, K., Ehrig, H., Mossakowski, T.: High-Level Nets with Nets and Rules as Tokens. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 268\u2013288. Springer, Heidelberg (2005)"},{"key":"9_CR15","unstructured":"Hoheisel, A., Der, U.: Dynamic Workflows for Grid Applications. In: Procs. of the Cracow Grid Workshop 2003, p. 8 (2003)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-73094-1_16","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"M. K\u00f6hler","year":"2007","unstructured":"K\u00f6hler, M., Farwer, B.: Object Nets for Mobility. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 244\u2013262. Springer, Heidelberg (2007)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"K\u00f6hler, M., R\u00f6lke, H.: Properties of object Petri nets. In: Cortadella, Reisig (eds.) [9], pp. 278\u2013297","DOI":"10.1007\/978-3-540-27793-4_16"},{"key":"9_CR18","unstructured":"Kummer, O.: Referenznetze. Logos-Verlag (2002)"},{"key":"9_CR19","doi-asserted-by":"crossref","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, Reisig (eds.) [9], pp. 484\u2013493","DOI":"10.1007\/978-3-540-27793-4_29"},{"key":"9_CR20","unstructured":"Mascheroni, M.: Generalized hypernets and their semantics. In: Proceedings of the Fifth International Workshop on Modelling of Objects, Components and Agents, MOCA 2009, Bericht 290, pp. 87\u2013106 (September 2009)"},{"key":"9_CR21","unstructured":"Mascheroni, M., Wagner, T., W\u00fcstenberg, L.: Verifying reference nets by means of hypernets: a plugin for renew. In: Proceedings of the International Workshop on Petri Nets and Software Engeneering PNSE 2010, Bericht 294, pp. 39\u201354 (June 2010)"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-642-20754-9_14","volume-title":"Advances in Grid and Pervasive Computing","author":"S. Taktak","year":"2011","unstructured":"Taktak, S., Kristensen, L.: Formal Modelling and Initial Validation of the Chelonia Distributed Storage System. In: Riekki, J., Ylianttila, M., Guo, M. (eds.) GPC 2011. LNCS, vol.\u00a06646, pp. 127\u2013137. Springer, Heidelberg (2011)"},{"key":"9_CR23","volume-title":"Workflows for e-Science: Scientific Workflows for Grids","author":"I.J. Taylor","year":"2006","unstructured":"Taylor, I.J., Deelman, E., Gannon, D.B., Shields, M.: Workflows for e-Science: Scientific Workflows for Grids. Springer, Heidelberg (2006)"},{"key":"9_CR24","unstructured":"The CMS Collaboration. The CMS Experiment at CERN LHC. J. Inst., 3, S08004 (2008)"},{"key":"9_CR25","unstructured":"The TLS Group. The Large Hadron Collider Conceptual Design. Technical report, CERN (1995); preprint hep-ph\/0601012"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/3-540-17906-2_27","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"R. Valk","year":"1987","unstructured":"Valk, R.: Nets in Computer Organisation. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0255, pp. 218\u2013233. Springer, Heidelberg (1987)"},{"key":"9_CR27","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":"9_CR28","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)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency V"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29072-5_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:21:37Z","timestamp":1620127297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29072-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642290718","9783642290725"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29072-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}