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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
W. Brauer. How to Play the Token Game? or Dificulties in Interpreting Place/Transition Nets. Petri Net Newsletter, 16:3–13, Feb. 1984.
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.
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.
P. Coad and E. Yourdon. Object Oriented Analysis. Prentice Hall, Englewood Cliffs, second edition, 1991.
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.
T. De Marco. Structured Analysis and System Specification. Prentice Hall, Englewood Cliffs, 1979.
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.
J. Engelfriet, G. Leih, and G. Rozenberg. Parallel object-based systems and Petri nets. Technical report, Leiden University, The Netherlands, 1990.
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.
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.
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].
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].
IEEE. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, volume II, Le Touquet, France, 1993.
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].
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.
K. Jensen and G. Rozenberg, editors. High-Level Petri Nets-Theory and Application. Springer-Verlag, Berlin, Germany, 1991.
F. Köster. Bewertung hierarchischer Petrinetze als Grundlage für Map**-Verfahren bei der verteilten Simulation. Diplomarbeit, Universität Oldenburg, Germany, May 1996. In German.
C. A. Lakos. From Coloured Petri Nets to Object Petri Nets. In De Michelis and Diaz [DD95], pages 278–297.
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.
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.
G. Reents. Effzienzsteigerung bei der optimistischen verteilten Thor-Netzsimulation. Diplomarbeit, Universität Oldenburg, Germany, Nov. 1996. In German.
G. Rozenberg, editor. Advances in Petri Nets, volume 483 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, Germany, 1990.
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.
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.
M. Sonnenschein. An introduction to GINA. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics [IEE93], pages 711–716.
S. Schöf, M. Sonnenschein, and R. Wieting. Efficient simulation of Thor nets. In De Michelis and Diaz [DD95], pages 412–431.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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