Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Object Petri Nets

Using the Nets-within-Nets Paradigm

  • 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

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.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.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.

Similar content being viewed by others

References

  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. Jessen, E., Valk, R.: Rechensysteme: Grundlagen der Modellbildung. Springer, Berlin (1987)

    MATH  Google Scholar 

  3. Valk, R.: Modelling of task flow in systems of functional units. 124, Universität Hamburg, Fachbereich Informatik (1987)

    Google Scholar 

  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. Valk, R.: On processes of object Petri nets. Fachbereichsbericht 185, Fachbereich Informatik, Universität Hamburg (1996)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  7. Valk, R.: Concurrency in communicating object Petri nets. [73] 164–195

    Google Scholar 

  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. 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. 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. Kummer, O.: Referenznetze. Logos Verlag (2002)

    Google Scholar 

  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. Kummer, O., Wienberg, F., Duvigneau, M.: Renew – The Reference NetWorkshop (2004), http://renew.de/

  14. Farwer, B.: Linear Logic Based Calculi for Object Petri Nets. Logos Verlag, Berlin (2000) ISBN 3-89722-539-5

    Google Scholar 

  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. Farwer, B.: Comparing concepts of object Petri net formalisms. Fundamenta Informaticae 47, 247–258 (2001)

    MATH  MathSciNet  Google Scholar 

  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)

    Chapter  Google Scholar 

  18. Farwer, B.: A multi-region linear logic based calculus for dynamic Petri net structures. Fundamenta Informaticae 43, 61–79 (2000)

    MATH  MathSciNet  Google Scholar 

  19. Farwer, B.: A linear logic view of object Petri nets. Fundamenta Informaticae 37, 225–246 (1999)

    MATH  MathSciNet  Google Scholar 

  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. Köhler, M., Rölke, H.: Concurrency for mobile object net systems. Fundamenta Informaticae 54 (2003)

    Google Scholar 

  22. v. Lüde, R., Moldt, D., Valk, R.: Sozionik: Modellierung soziologischer Theorie. Lit-Verlag (2003)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Battiston, E., Chizzoni, A., Cindio, F.D.: Clown as a testbed for concurrent objectoriented concepts. [73] 131–163

    Google Scholar 

  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. 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. 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. Biberstein, O., Buchs, D., Guelfi, N.: Object-oriented nets with algebraic specifications: The co-opn/2 formalism. [73] 73–130

    Google Scholar 

  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. 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. 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. 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. Sibertin-Blanc, C.: Cooperative nets. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815, pp. 471–490. Springer, Heidelberg (1994)

    Google Scholar 

  36. Sibertin-Blanc, C.: Cooperative objects: Principles, use and implementation. [73] 216–246

    Google Scholar 

  37. Sibertin-Blanc, C.: Syroco: A c++ implementation of cooperative objects. In: Workshop on Petri Nets and Object-Oriented Models of Concurrency (1995) Ü berarbeitete Version

    Google Scholar 

  38. Project, T.M.: Project homepage (2002), http://www.tik.ee.ethz.ch/~moses/

  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)

    Chapter  Google Scholar 

  40. Goldberg, A., Robinson, D.: Smalltalk-80: The Language. Addison-Wesley, Reading (1989)

    MATH  Google Scholar 

  41. PNtalk: Project homepage (2002), http://www.fee.vutbr.cz/UIVT/homes/janousek/pntalk/

  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. 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. 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. 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)

    Chapter  Google Scholar 

  46. OCoN: Project homepage (2002), http://wwwmath.uni-muenster.de/cs/u/versys/research/ocon/

  47. Basten, T., van der Aalst, W.M.: Inheritance of behavior. Journal of Logic and Algebraic Programming 47, 47–145 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  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. Köster, F., Schöf, S., Sonnenschein, M., Wieting, R.: Modelling of a library with thorns. [73] 375–390

    Google Scholar 

  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. Lilius, J.: Ob(pn)2: An object based Petri net programming notation. [73] 247–275

    Google Scholar 

  52. Agarwal, R., Bruno, G., Pescarmona, M.: Object-oriented extensions for Petri nets. Petri Net Newsletter 60, 26–41 (2001)

    Google Scholar 

  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. 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. Cohen, M., March, J., Olsen, J.: A garbage can model of organizational choice. Administrative Science Quarterly 17, 1–25 (1972)

    Article  Google Scholar 

  56. Masuch, M., LaPotin, P.: Beyond Garbage Cans: An AI Model of Organizational Choice. Administrtive Science Quarterly 36, 38–67 (1989)

    Article  Google Scholar 

  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. 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. 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. Köhler, M.: Decidability problems for object Petri nets. In: Fachwissenschaftlicher Informatik-Kongreß, Konradin Verlag (2003)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. Farwer, B., Misra, K.: Modelling with hierarchical object Petri nets. Fundamenta Informaticae 55, 129–147 (2003)

    MATH  MathSciNet  Google Scholar 

  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. 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. 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. Agha, G., De Cindio, F., Rozenberg, G. (eds.): APN 2001. LNCS, vol. 2001. Springer, Heidelberg (2001)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universität Hamburg, Vogt-Kölln-Str.30, D-22527, Hamburg, Germany

    Rüdiger Valk

Authors
  1. Rüdiger Valk
    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

Valk, R. (2004). Object Petri 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_23

Download citation

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

  • 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