Skip to main content
SpringerLink
Log in

Modeling of a Library with THORNs

  • Chapter
  • First Online:
Concurrent Object-Oriented Programming and Petri Nets

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

Abstract

Thorns combine the widely used object-oriented programming language C++ with various features of Petri nets for modeling concurrency and time. In this way complex distributed systems can be modeled in a detailed manner. Thorns can be transformed to C++ code and executed sequentially or concurrently by simulators for validation and experiments. This paper shows both, features of Thorns and their modeling approach by an example.

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

References

  1. E. Battiston, F. De Cindio, and G. Mauri. Modular algebraic nets to specify concurrent systems. IEEE Transactions on Software Engineering, 22(10):689–705, Oct. 1996.

    Article  Google Scholar 

  2. W. Brauer. How to Play the Token Game? or Dificulties in Interpreting Place/Transition Nets. Petri Net Newsletter, 16:3–13, Feb. 1984.

    Google Scholar 

  3. L. A. Cherkasova and V. E. Kotov. Structured nets. In W. Brauer, editor, Proceedings of Mathematical Foundations of Computer Science, volume 118 of Lecture Notes in Computer Science, pages 242–251. Springer-Verlag, Berlin, Germany, 1981.

    Google Scholar 

  4. S. Christensen and J. Toksvig. DesignBeta V2.0.1-BETA code-segments in CP-nets. Lecture Notes OO&CPN No 5, Computer Science Department, Aarhus University, Denmark, 1993.

    Google Scholar 

  5. P. Coad and E. Yourdon. Object Oriented Analysis. Prentice Hall, Englewood Cliffs, second edition, 1991.

    Google Scholar 

  6. G. De Michelis and M. Diaz, editors. Proceedings of the 16th International Conference on Application and Theory of Petri Nets, volume 935 of Lecture Notes in Computer Science, Torino, Italy, June 1995. Springer-Verlag, Berlin, Germany.

    Google Scholar 

  7. T. De Marco. Structured Analysis and System Specification. Prentice Hall, Englewood Cliffs, 1979.

    Google Scholar 

  8. R. Di Giovanni. Hood nets. In G. Rozenberg, editor, Proceedings of the 11th International Conference on Application and Theory of Petri Nets, volume 524 of Lecture Notes in Computer Science, pages 140–160, Berlin, Germany, 1991. Springer-Verlag.

    Google Scholar 

  9. J. Engelfriet, G. Leih, and G. Rozenberg. Parallel object-based systems and Petri nets. Technical report, Leiden University, The Netherlands, 1990.

    Google Scholar 

  10. H. Fleischhack and U. Lichtblau. MOBY-a tool for high level Petri nets with objects. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, volume IV, pages 644–649, Le Touquet, France, 1993. IEEE.

    Google Scholar 

  11. H. Fleischhack, U. Lichtblau, M. Sonnenschein, and R. Wieting. Generische Definition hierarchischer zeitbeschrifteter höherer Petrinetze. Bericht der Arbeitsgruppe Informatik-Systeme AIS-13, Fachbereich Informatik, Universität Oldenburg, Germany, Dec. 1993. In German.

    Google Scholar 

  12. H. J. Genrich. Predicate/Transition nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Central Models and Their Properties, volume 254 of Lecture Notes in Computer Science, pages 207–247. Springer-Verlag, Berlin, Germany, 1987. Auch in [JR91, pp. 3–43].

    Chapter  Google Scholar 

  13. P. Huber, K. Jensen, and R. M. Shapiro. Hierarchies in coloured Petri nets. In Rozenberg [Roz90], pages 313–341. Auch in [JR91, pp. 215–243].

    Google Scholar 

  14. IEEE. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, volume II, Le Touquet, France, 1993.

    Google Scholar 

  15. K. Jensen. Coloured Petri nets: A high level language for system design and analysis. In Rozenberg [Roz90], pages 342–416. Auch in [JR91, pp. 44–119].

    Google Scholar 

  16. K. Jensen. Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use Volume 1. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, Germany, 1992.

    Google Scholar 

  17. K. Jensen and G. Rozenberg, editors. High-Level Petri Nets-Theory and Application. Springer-Verlag, Berlin, Germany, 1991.

    MATH  Google Scholar 

  18. F. Köster. Bewertung hierarchischer Petrinetze als Grundlage für Mapping-Verfahren bei der verteilten Simulation. Diplomarbeit, Universität Oldenburg, Germany, May 1996. In German.

    Google Scholar 

  19. C. A. Lakos. From Coloured Petri Nets to Object Petri Nets. In De Michelis and Diaz [DD95], pages 278–297.

    Google Scholar 

  20. C. A. Lakos and C. D. Keen. LOOPN-language for object-oriented Petri nets. In SCS Multiconference on Object-Oriented Simulation, pages 22–30, Anaheim, CA, Jan. 1991.

    Google Scholar 

  21. M. Paludetto and S. Raymond. A methology based on objects and petri nets for development of real-time software. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics [IEE93], pages 705–710.

    Google Scholar 

  22. G. Reents. Effzienzsteigerung bei der optimistischen verteilten Thor-Netzsimulation. Diplomarbeit, Universität Oldenburg, Germany, Nov. 1996. In German.

    Google Scholar 

  23. G. Rozenberg, editor. Advances in Petri Nets, volume 483 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, Germany, 1990.

    MATH  Google Scholar 

  24. C. Sibertin-Blanc. Cooperative nets. In R. Valette, editor, Proceedings of the 15th International Conference on Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, pages 471–490, Zaragoza, Spain, June 1994. Springer-Verlag, Berlin, Germany.

    Google Scholar 

  25. S. Schöf. A distributed simulation engine for hierarchical Petri nets. In P. Schwarz, editor, 10. Workshop “Simulation verteilter Systeme und paralleler Prozesse”, number 50 in ASIM-Mitteilungen, pages 153–159, Dresden, Oct. 1995.

    Google Scholar 

  26. M. Sonnenschein. An introduction to GINA. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics [IEE93], pages 711–716.

    Google Scholar 

  27. S. Schöf, M. Sonnenschein, and R. Wieting. Efficient simulation of Thor nets. In De Michelis and Diaz [DD95], pages 412–431.

    Google Scholar 

  28. Y. Sami and G. Vidal-Naquet. Formalization of the behavior of actors by colored Petri nets and some applications. In PARLE’ 91, LNCS 506, pages 110–127, 1991.

    Google Scholar 

  29. R. Valk. On the process of Object Petri Nets. Bericht Nr. 185 (FBI-HH-B-185), Universität Hamburg, Fachbereich Informatik, Vogt-Kölln-Stra\e 30, D-22527 Hamburg, Germany, June 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Oldenburger Forschungs, Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme (Offis), Escherweg 2, D-26121, Oldenburg, Germany

    Frank Köster & Michael Sonnenschein

  2. Software Design & Management (SD&M), Region West ⋋ Am Schimmersfeld 7a, D-40880, Ratingen, Germany

    Stefan Schöf

  3. Media Service AG (MSG), Cloppenburger Stra\e 300, D-26133, Oldenburg, Germany

    Ralf Wieting

Authors
  1. Frank Köster
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefan Schöf
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Michael Sonnenschein
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ralf Wieting
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Illinois at Urbana-Champaign, 1304 West Springfield Avenue, 61801-2987, Urbana, Illinois, USA

    Gul A. Agha

  2. Computer Science Department, University of Milan, via Comelico 39/41, 20135, Milan, Italy

    Fiorella De Cindio

  3. Leiden Institute 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

© 2001 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Köster, F., Schöf, S., Sonnenschein, M., Wieting, R. (2001). Modeling of a Library with THORNs. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds) Concurrent Object-Oriented Programming and Petri Nets. Lecture Notes in Computer Science, vol 2001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45397-0_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-45397-0_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41942-6

  • Online ISBN: 978-3-540-45397-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation