Skip to main content
SpringerLink
Log in

Nets-Within-Nets Paradigm and Grid Computing

  • Chapter
Transactions on Petri Nets and Other Models of Concurrency V

Part of the book series: Lecture Notes in Computer Science ((TOPNOC,volume 6900))

Abstract

Grid is one of the most effective new paradigms in large scale distributed computing. Only recently Petri nets have been adopted as a formal modeling framework for describing some features related to Grid infrastructures: mostly related to the description of large-scale dynamic workflows. In this paper we describe a Grid tool for High Energy Physics data analysis, and we show how modeling its architecture with nets-within-nets has led us to identify and solve a number of defects affecting the current implementation.

Partially supported by MIUR (Italian Ministry of Education, University and Scientific Research).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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śniewski, J. (eds.) PPAM 2005. LNCS, vol. 3911, pp. 715–722. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  2. Bednarczyk, M.A., Bernardinello, L., Pawłowski, W., Pomello, L.: Modelling Mobility with Petri Hypernets. In: Fiadeiro, J.L., Mosses, P.D., Yu, Y. (eds.) WADT 2004. LNCS, vol. 3423, pp. 28–44. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  3. Bednarczyk, M.A., Bernardinello, L., Pawłowski, 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–43 (June 2006)

    Google Scholar 

  4. 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ăun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol. 4860, pp. 124–137. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  5. 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–86 (2007)

    Google Scholar 

  6. CERN. Worldwide LHC Computing Grid, http://lcg.web.cern.ch/lcg/public/ (accessed May 2010)

  7. 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. 6128, pp. 145–164. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  8. 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 56(5), 2850–2858 (2009)

    Article  Google Scholar 

  9. Cortadella, J., Reisig, W. (eds.): ICATPN 2004. LNCS, vol. 3099. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  10. Darwin, I.F.: Checking C Programs with Lint Nutshell Handbooks. O’Reilly Media (1988)

    Google Scholar 

  11. Foster, I., Kesselman, C.: The Grid 2: Blueprint for a New Computing Infrastructure. Morgan Kaufmann Publishers Inc., San Francisco (2003)

    Google Scholar 

  12. Foster, I., Kesselman, C., Nick, J.M., Tuecke, S.: Tuecke. Grid services for distributed system integration. Computer 35, 37–46 (2002)

    Article  Google Scholar 

  13. 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. 18, 1115–1140

    Google Scholar 

  14. 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. 3536, pp. 268–288. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  15. Hoheisel, A., Der, U.: Dynamic Workflows for Grid Applications. In: Procs. of the Cracow Grid Workshop 2003, p. 8 (2003)

    Google Scholar 

  16. Köhler, M., Farwer, B.: Object Nets for Mobility. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 244–262. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  17. Köhler, M., Rölke, H.: Properties of object Petri nets. In: Cortadella, Reisig (eds.) [9], pp. 278–297

    Google Scholar 

  18. Kummer, O.: Referenznetze. Logos-Verlag (2002)

    Google Scholar 

  19. Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., Köhler, M., Moldt, D., Rölke, H., Valk, R.: An extensible editor and simulation engine for Petri nets: Renew. In: Cortadella, Reisig (eds.) [9], pp. 484–493

    Google Scholar 

  20. 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–106 (September 2009)

    Google Scholar 

  21. Mascheroni, M., Wagner, T., Wüstenberg, 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–54 (June 2010)

    Google Scholar 

  22. 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. 6646, pp. 127–137. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  23. Taylor, I.J., Deelman, E., Gannon, D.B., Shields, M.: Workflows for e-Science: Scientific Workflows for Grids. Springer, Heidelberg (2006)

    Google Scholar 

  24. The CMS Collaboration. The CMS Experiment at CERN LHC. J. Inst., 3, S08004 (2008)

    Google Scholar 

  25. The TLS Group. The Large Hadron Collider Conceptual Design. Technical report, CERN (1995); preprint hep-ph/0601012

    Google Scholar 

  26. Valk, R.: Nets in Computer Organisation. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 255, pp. 218–233. Springer, Heidelberg (1987)

    Google Scholar 

  27. Valk, R.: Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1–25. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  28. 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. 4024, pp. 241–260. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Sistemistica e Comunicazione, Universitá degli Studi di Milano Bicocca, Viale Sarca, 336, I-20126, Milano, Italy

    Marco Mascheroni & Fabio Farina

Authors
  1. Marco Mascheroni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fabio Farina
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Science, Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, 8200, Aarhus N, Denmark

    Kurt Jensen

  2. Computer Science Department, University of Turin, Corso Svizzera 185, 10149, Turin, Italy

    Susanna Donatelli

  3. LIACS, Leiden University, P.O. Box 9512, 2300 RA, Leiden, The Netherlands

    Jetty Kleijn

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Mascheroni, M., Farina, F. (2012). Nets-Within-Nets Paradigm and Grid Computing. In: Jensen, K., Donatelli, S., Kleijn, J. (eds) Transactions on Petri Nets and Other Models of Concurrency V. Lecture Notes in Computer Science, vol 6900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29072-5_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29072-5_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29071-8

  • Online ISBN: 978-3-642-29072-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation