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.