For the most recent entries see the Petri Nets Newsletter.

Modeling of a Library with THORNs.

Köster, F.; Schöf, S.; Sonnenschein, M.; Wieting, R.

In: Agha, G.A.; De Cindio, F.; Rozenberg, G.: Lecture Notes in Computer Science, Vol. 2001: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets, pages 375-390. Springer-Verlag, 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.

Keywords: object oriented nets, time, THORN.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography