Skip to main content
SpringerLink
Log in

Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets

  • Chapter
Lectures on Concurrency and Petri Nets (ACPN 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3098))

Included in the following conference series:

Abstract

As web applications become more and more complex, primitives for handling interaction patterns among independent components become essential. In fact, distributed applications require new forms of transactions for orchestrating the progress of their negotiations and agreements. Still we lack foundational models that accurately explain the crucial aspects of the problem. In this work we explore how to model transactions in coloured, reconfigurable and dynamic nets, (i.e., high-level/high-order Petri nets that can express mobility and can extend themselves dynamically during their execution). Starting from zero-safe nets – a well-studied extension of Place/Transition Petri nets with a transactional mechanism based on a distinction between consistent (observable) and transient (hidden) states – we show how the zero-safe approach can be smoothly applied to a hierarchy of nets of increasing expressiveness.

Research supported by the MSR Cambridge Project Napi, by the FET-GC Project IST-2001-32747 Agile, by the MIUR Project COFIN 2001013518 CoMeta, and by the MURST-CNR 1999 Project, Software Architectures on Cooperative WAN.

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

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Inform. and Comput. 148(1), 1–70 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  2. Asperti, A., Busi, N.: Mobile petri nets. Technical Report UBLCS96-10, University of Bologna (May 1996

    Google Scholar 

  3. Baldan, P., Ehring, H., Heckel, R., Hoffmann, K., Ehrig, H.: High-level net processes. In: Brauer, W., Ehrig, H., Karhumäki, J., Salomaa, A. (eds.) Formal and Natural Computing. LNCS, vol. 2300, pp. 191–219. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  4. Best, E., Devillers, R., Hall, J.: The Petri Box Calculus: A new causal algebra with multi-label communication.  609, 21–69 (1992)

    Google Scholar 

  5. Bocchi, L., Laneve, C., Zavattaro, G.: A calculus for long-running transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 124–138. Springer, Heidelberg (2003) (to appear)

    Chapter  Google Scholar 

  6. bpel Specification. version 1.1. (May 2003), http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/

  7. Bruni, R., Laneve, C., Montanari, U.: Centralized and distributed orchestration of transactions in the jo in calculus. Technical Report TR-02-12, Computer Science Department, University of Pisa (2002)

    Google Scholar 

  8. Bruni, R., Laneve, C., Montanari, U.: Orchestrating transactions in join calculus. In: Brim, L., Jančar, P., Křetínský, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, pp. 321–336. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  9. Bruni, R., Melgratti, H., Montanari, U.: Nested commits for mobile calculi: extending Join (2003) (submitted)

    Google Scholar 

  10. Bruni, R., Montanari, U.: Executing transactions in zero-safe nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 83–102. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  11. Bruni, R., Montanari, U.: Zero-safe nets: Comparing the collective and individual token approaches. Inform. and Comput. 156(1-2), 46–89 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  12. Bruni, R., Montanari, U.: Transactions and zero-safe nets. In: Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2128, pp. 380–426. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  13. Bruni, R., Montanari, U.: Zero-safe net models for transactions in Linda. In: Montanari, U., Sassone, V. (eds.) Proceedings of ConCoord 2001, International Workshop on Concurrency and Coordination. Elect. Notes in Th. Comput. Sci., vol. 54 (2001)

    Google Scholar 

  14. Bruni, R., Montanari, U.: Concurrent models for linda with transactions. Math. Struct. in Comput. Sci. (2003) (to appear)

    Google Scholar 

  15. 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. 2030, pp. 104–120. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  16. Busi, N.: On zero safe nets. Private communication (April 1999)

    Google Scholar 

  17. Busi, N., Zavattaro, G.: On the serializability of transactions in javaspaces. In: Montanari, U., Sassone, V. (eds.) Elect. Notes in Th. Comput. Sci., vol. 54. Elsevier Science, Amsterdam (2001)

    Google Scholar 

  18. Butler, M., Chessell, M., Ferreira, C., Griffin, C., Henderson, P., Vines, D.: Extending the concept of transaction compensation. IBM Systems Journal 41(4), 743–758 (2002)

    Article  Google Scholar 

  19. Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  20. Duggan, D.: An architecture for secure fault-tolerant global applications. TCS (to appear)

    Google Scholar 

  21. Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the Join calculus. In: Proceedings of POPL 1996, 23rd Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, pp. 372–385. ACM Press, New York (1996)

    Chapter  Google Scholar 

  22. Garcia-Molina, H., Salem, K.: Sagas. In: Dayal, U., Traiger, I.L. (eds.) Proceedings of the ACM Special Interest Group on Management of Data Annual Conference, pp. 249–259. ACM Press, New York (1987)

    Google Scholar 

  23. Gelernter, D.: Generative communication in Linda. ACM Transactions on Programming Languages and Systems 7(1), 80–112 (1985)

    Article  MATH  Google Scholar 

  24. Jensen, K.: Coloured Petri Nets, Basic Concepts. EATCS Monographs on Theoretical Computer Science. SV (1992)

    Google Scholar 

  25. Leymann, F.: wsfl Specification. version 1.0. (May 2001), http://www-306.ibm.com/software/solutions/webservices/pdf/WSFL.pdf

  26. Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I and II. Inform. and Comput. 100(1), 1–40, 41–77 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  27. Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Institut für Instrumentelle Mathematik, Bonn (1962)

    Google Scholar 

  28. Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1985)

    MATH  Google Scholar 

  29. Ristori, G.: Modelling Systems with Shared Resources via Petri Nets. PhD thesis, Computer Science Department, University of Pisa (1994)

    Google Scholar 

  30. Roxburgh, U.: Biztalk orchestration: Transactions, exceptions, and debugging. Microsoft Corporation (2001), Available at http://msdn.microsoft.com/library/en-us/dnbiz/html/bizorchestr.asp

  31. Sun Microsystem, Inc. JavaSpacesTM service specifications, v.1.1 (2000)

    Google Scholar 

  32. Thatte, S.: xlang: Web Services for Business Process Design (2001), http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Italy

    Roberto Bruni, Hernán Melgratti & Ugo Montanari

Authors
  1. Roberto Bruni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hernán Melgratti
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ugo Montanari
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt,  

    Jörg Desel

  2. Institut für Informatik, Humboldt-Universität zu Berlin, Unter den Linden 6, 10099, Berlin, Germany

    Wolfgang Reisig

  3. , Leiden Center of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bruni, R., Melgratti, H., Montanari, U. (2004). Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds) Lectures on Concurrency and Petri Nets. ACPN 2003. Lecture Notes in Computer Science, vol 3098. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27755-2_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-27755-2_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22261-3

  • Online ISBN: 978-3-540-27755-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation