Object Petri Nets

Using the Nets-within-Nets Paradigm
  • Rüdiger Valk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3098)

Abstract

The nets-within-nets paradigm provides an innovative modelling technique by giving tokens themselves the structure of a Petri net. These nets, called token nets or object nets, also support the object oriented modelling technique as they may represent real world objects with a proper dynamical behaviour. Between object nets and the surrounding net, called system net, various interaction mechanisms exist as well as between different object nets. This introduction into the field of object Petri nets starts with small examples and proceeds by giving formal semantics. Some of the examples are modelled within the formalism of the Renew tool. Finally the differences between reference and two kinds of value semantics are discussed.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Rumbaugh, J., Jacobson, I., Booch, G.: The unified modeling language reference manual: The definitive reference to the UML from the original designers. Addison- Wesley object technology series. Addison-Wesley, Reading (1999)Google Scholar
  2. 2.
    Jessen, E., Valk, R.: Rechensysteme: Grundlagen der Modellbildung. Springer, Berlin (1987)MATHGoogle Scholar
  3. 3.
    Valk, R.: Modelling of task flow in systems of functional units. 124, Universität Hamburg, Fachbereich Informatik (1987)Google Scholar
  4. 4.
    Valk, R.: Nets in computer organisation. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 254, pp. 377–396. Springer, Heidelberg (1987)Google Scholar
  5. 5.
    Valk, R.: On processes of object Petri nets. Fachbereichsbericht 185, Fachbereich Informatik, Universität Hamburg (1996)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    Valk, R.: Concurrency in communicating object Petri nets. [73] 164–195Google Scholar
  8. 8.
    Valk, R.: Reference and value semantics for object Petri nets. In: Proceedings of Colloquium on Petri Net Technologies for Modelling Communication Based Systems, October 21-22. Fraunhofer Gesellschaft, ISST, pp. 169–187 (1999)Google Scholar
  9. 9.
    Valk, R.: Relating different semantics for object Petri nets, formal proofs and examples. Technical Report FBI-HH-B-226, University of Hamburg, Department for Computer Science Report/00 (2000)Google Scholar
  10. 10.
    Valk, R.: Mobile and distributed object versus central referencing. In: Grabowski, J., Heymer, S. (eds.) Proceedings of 10. GI-ITG-Fachgespräch FBT 2000: Formale Beschreibungstechniken für verteilte Systeme, Lübeck, June 2000, pp. 7–27. Shaker Verlag, Aachen (2000)Google Scholar
  11. 11.
    Kummer, O.: Referenznetze. Logos Verlag (2002)Google Scholar
  12. 12.
    Wienberg, F.: Informations- und prozesorientierte Modellierung verteilter Systeme auf der Basis von Feature-Structure-Netzen. Dissertation, Universität Hamburg, Fachbereich Informatik (2001)Google Scholar
  13. 13.
    Kummer, O., Wienberg, F., Duvigneau, M.: Renew – The Reference NetWorkshop (2004), http://renew.de/
  14. 14.
    Farwer, B.: Linear Logic Based Calculi for Object Petri Nets. Logos Verlag, Berlin (2000) ISBN 3-89722-539-5Google Scholar
  15. 15.
    Farwer, B.: Modelling protocols by object-based Petri nets. In: Czaja, L. (ed.) Concurrency Specification and Programming (CSP 2001), Proceedings, University of Warsaw, pp. 87–96 (2001); published in Fundamenta Informaticae (2002)Google Scholar
  16. 16.
    Farwer, B.: Comparing concepts of object Petri net formalisms. Fundamenta Informaticae 47, 247–258 (2001)MATHMathSciNetGoogle Scholar
  17. 17.
    Farwer, B., Lomazova, I.: A systematic approach towards object-based Petri net formalisms. In: Bjørner, D., Broy, M., Zamulin, A.V. (eds.) PSI 2001. LNCS, vol. 2244, pp. 255–267. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  18. 18.
    Farwer, B.: A multi-region linear logic based calculus for dynamic Petri net structures. Fundamenta Informaticae 43, 61–79 (2000)MATHMathSciNetGoogle Scholar
  19. 19.
    Farwer, B.: A linear logic view of object Petri nets. Fundamenta Informaticae 37, 225–246 (1999)MATHMathSciNetGoogle Scholar
  20. 20.
    Köhler, M.: Mobile object net systems: Petri nets as active tokens. Technical Report 320, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, 22527 Hamburg, Germany (2002)Google Scholar
  21. 21.
    Köhler, M., Rölke, H.: Concurrency for mobile object net systems. Fundamenta Informaticae 54 (2003)Google Scholar
  22. 22.
    v. Lüde, R., Moldt, D., Valk, R.: Sozionik: Modellierung soziologischer Theorie. Lit-Verlag (2003) Google Scholar
  23. 23.
    Cabac, L., Moldt, D., Rölke, H.: A proposal for structuring Petri net-based agent interaction protocols. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 102–120. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  24. 24.
    Köhler, M., Moldt, D., Rölke, H.: Modelling mobility and mobile agents using nets within nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 121–139. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  25. 25.
    Battiston, E., De Cindio, F., Mauri, G.: Objsa nets: A class of high-level nets having objects as domains. In: Rozenberg, G. (ed.) APN 1988. LNCS, vol. 340, pp. 20–43. Springer, Heidelberg (1988)Google Scholar
  26. 26.
    Battiston, E., Chizzoni, A., Cindio, F.D.: Clown as a testbed for concurrent objectoriented concepts. [73] 131–163 Google Scholar
  27. 27.
    Buchs, D., Guelfi, N.: Co-opn: A concurrent object oriented Petri net approach. In: Application and Theory of Petri Nets, 12th International Conference, IBM Deutschland, pp. 432–454 (1991)Google Scholar
  28. 28.
    Christensen, S., Damgaard Hansen, N.: Coloured Petri nets extended with channels for synchronous communication. Technical Report DAIMI PB–390, Aarhus University (1992)Google Scholar
  29. 29.
    Biberstein, O.: CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent Systems. Ph.d. thesis, University of Geneva (1997)Google Scholar
  30. 30.
    Biberstein, O., Buchs, D., Guelfi, N.: Object-oriented nets with algebraic specifications: The co-opn/2 formalism. [73] 73–130 Google Scholar
  31. 31.
    Lakos, C.A.: Object Petri nets – definition and relationship to coloured Petri nets. Technical Report 94–3, Computer Science Department, University of Tasmania (1993)Google Scholar
  32. 32.
    Lakos, C.A.: From coloured Petri nets to object Petri nets. In: DeMichelis, G., Díaz, M. (eds.) ICATPN 1995. LNCS, vol. 935, pp. 278–297. Springer, Heidelberg (1995), http://www.cs.adelaide.edu.au/users/charles/ Google Scholar
  33. 33.
    Lakos, C.A.: The role of substitution places in hierarchical coloured Petri nets. Technical Report 93–7, Computer Science Department, University of Tasmania (1993)Google Scholar
  34. 34.
    Lakos, C.A.: Pragmatic inheritance issues for object Petri nets. In: Proceedings of TOOLS Pacific 1995, Melbourne, Australien, pp. 309–321. Prentice-Hall, Englewood Cliffs (1995), http://www.cs.adelaide.edu.au/users/charles/ Google Scholar
  35. 35.
    Sibertin-Blanc, C.: Cooperative nets. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815, pp. 471–490. Springer, Heidelberg (1994)Google Scholar
  36. 36.
    Sibertin-Blanc, C.: Cooperative objects: Principles, use and implementation. [73] 216–246 Google Scholar
  37. 37.
    Sibertin-Blanc, C.: Syroco: A c++ implementation of cooperative objects. In: Workshop on Petri Nets and Object-Oriented Models of Concurrency (1995) Ü berarbeitete VersionGoogle Scholar
  38. 38.
    Project, T.M.: Project homepage (2002), http://www.tik.ee.ethz.ch/~moses/
  39. 39.
    Češka, M., Janoušek, V., Vojnar, T.: Pntalk – a computerized tool for object oriented Petri nets modelling. In: Moreno-Díaz, R., Pichler, F. (eds.) EUROCAST 1997. LNCS, vol. 1333, pp. 591–610. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  40. 40.
    Goldberg, A., Robinson, D.: Smalltalk-80: The Language. Addison-Wesley, Reading (1989)MATHGoogle Scholar
  41. 41.
    PNtalk: Project homepage (2002), http://www.fee.vutbr.cz/UIVT/homes/janousek/pntalk/
  42. 42.
    Janoušek, V.: Synchronous interactions of objects in object oriented Petri nets. In: Proceedings of MOSIS 1999, pp. 73–80 (1999), http://www.fee.vutbr.cz/~janousek/
  43. 43.
    Philippi, S.: OOPr/T-modelle – ein Pr/T-netz basierter Ansatz zur objektorientierten Modellierung. In: Desel, J., Oberweis, A. (eds.) 6. Workshop Algorithmen und Werkzeuge für Petrinetze, J.W. Goethe-Universität, Institut für Wirtschaftinformatik, Frankfurt am Main, pp. 36–41 (1999)Google Scholar
  44. 44.
    Philippi, S.: Seamless object-oriented software development on a formal base. In: Workshop on Software Engineering and Petri-Nets, 21st International Conference on Application and Theory of Petri-Nets, Aarhus (2000), http://www.uni-koblenz.de/~philippi/
  45. 45.
    Giese, H., Graf, J., Wirtz, G.: Closing the gap between object-oriented modeling of structure and behavior. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 534–549. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  46. 46.
  47. 47.
    Basten, T., van der Aalst, W.M.: Inheritance of behavior. Journal of Logic and Algebraic Programming 47, 47–145 (2001)MATHCrossRefMathSciNetGoogle Scholar
  48. 48.
    Schöf, S., Sonnenschein, M., Wieting, R.: Efficient simulation of Thor nets. In: DeMichelis, G., Díaz, M. (eds.) ICATPN 1995. LNCS, vol. 935, pp. 412–431. Springer, Heidelberg (1995)Google Scholar
  49. 49.
    Köster, F., Schöf, S., Sonnenschein, M., Wieting, R.: Modelling of a library with thorns. [73] 375–390 Google Scholar
  50. 50.
    Han, Y.: Software Infrastructure for Configurable Workflow Systems; A Model- Driven Approach Based on Higher-Order Object Nets and Corba. Wissenschaft und Technik Verlag, Berlin (1997); Dissertation an der TU Berlin. Google Scholar
  51. 51.
    Lilius, J.: Ob(pn)2: An object based Petri net programming notation. [73] 247–275 Google Scholar
  52. 52.
    Agarwal, R., Bruno, G., Pescarmona, M.: Object-oriented extensions for Petri nets. Petri Net Newsletter 60, 26–41 (2001)Google Scholar
  53. 53.
    Petri, C.: Introduction to general net theory. In: Brauer, W. (ed.) Net Theory and Applications. LNCS, vol. 84, pp. 1–19. Springer, Heidelberg (1980)Google Scholar
  54. 54.
    Best, E., Fernández, C.: Nonsequential Processes. In: A Petri Net View. EATCS Monographs on Theoretical Computer Science, vol. 13, Springer, Heidelberg (1988)Google Scholar
  55. 55.
    Cohen, M., March, J., Olsen, J.: A garbage can model of organizational choice. Administrative Science Quarterly 17, 1–25 (1972)CrossRefGoogle Scholar
  56. 56.
    Masuch, M., LaPotin, P.: Beyond Garbage Cans: An AI Model of Organizational Choice. Administrtive Science Quarterly 36, 38–67 (1989)CrossRefGoogle Scholar
  57. 57.
    Köhler, M., Farwer, B.: Mobile object-net systems and their processes. In: Proceedings of the International Workshop on Concurrency, Specification, and Programming, CS&P 2003, pp. 134–149 (2003)Google Scholar
  58. 58.
    Köhler, M.: Mobile object net systems. In: 10. Workshop Algorithmen und Werkzeuge für Petrinetze, Universität Eichstätt, pp. 51–60 (2003)Google Scholar
  59. 59.
    Köhler, M.: Object Petri nets: Definitions, properties and related models. Technical Report 329, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, 22527 Hamburg, Germany (2003)Google Scholar
  60. 60.
    Köhler, M.: Decidability problems for object Petri nets. In: Fachwissenschaftlicher Informatik-Kongreß, Konradin Verlag (2003)Google Scholar
  61. 61.
    Köhler, M., Rölke, H.: Modelling sandboxes for mobile agents using nets within nets. In: Busi, N., Martinelli, F. (eds.) Workshop on Issues in Security and Petri Nets (WISP 2003) at the International Conference on Application and Theory of Petri Nets 2003, University of Eindhoven (2003)Google Scholar
  62. 62.
    Köhler, M., Moldt, D., Rölke, H.: Modelling mobility and mobile agents using nets within nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 121–140. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  63. 63.
    Köhler, M., Rölke, H.: Formal analysis of multi-agent systems: The bucket-chain example. Technical Report to appear, University of Hamburg, Department for Computer Science Report/04 (2004)Google Scholar
  64. 64.
    Moldt, D., Rölke, H.: Pattern based workflow design using reference nets. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 246–260. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  65. 65.
    Cabac, L., Moldt, D., Rölke, H.: A proposal for structuring petri net-based agent interaction protocols. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 102–120. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  66. 66.
    Farwer, B., Leuschel, M.: Model checking object Petri nets in Prolog. Technical Report DSSE-TR-2003-4, Declarative Systems and Software Engineering Group, School of Electronics and Computer Science, University of Southampton, SO17 1BJ, UK (2003)Google Scholar
  67. 67.
    Farwer, B., Misra, K.: Dynamic modification of system structures using LLPNs. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol. 2890, pp. 274–293. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  68. 68.
    Fehling, R.: A concept of hierarchical Petri nets with building blocks. In: Rozenberg, G. (ed.) APN 1993. LNCS, vol. 674, pp. 148–168. Springer, Heidelberg (1993)Google Scholar
  69. 69.
    Farwer, B., Misra, K.: Modelling with hierarchical object Petri nets. Fundamenta Informaticae 55, 129–147 (2003)MATHMathSciNetGoogle Scholar
  70. 70.
    Köhler, M., Moldt, D., Rölke, H., Valk, R.: Structuring of complex socionic systems using reference nets. Technical Report FBI-HH-B-248, University of Hamburg, Department for Computer Science Report/03 (2003)Google Scholar
  71. 71.
    Ezpeleta, J., Moldt, D.: A proposal for flexible testing of deadlock control strategies in resource allocation systems. In: Pahlavani, Z. (ed.) Proceedings of International Conference on Computational Intelligence for Modelling Control and Automation, Vienna, Austria, February 12-14 (2003)Google Scholar
  72. 72.
    Ezpeleta, J., Valk, R.: Modelling assembly systems using object Petri nets and deadlock avoidance. Technical Report to appear, University of Hamburg, Department for Computer Science Report/04 (2004)Google Scholar
  73. 73.
    Agha, G., De Cindio, F., Rozenberg, G. (eds.): APN 2001. LNCS, vol. 2001. Springer, Heidelberg (2001)MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Rüdiger Valk
    • 1
  1. 1.Universität HamburgHamburgGermany

Personalised recommendations