G. Agha, F. DeCindio und G. Rozenberg (Hrsg.), Concurrent Object-Oriented Programming and Petri Nets, LNCS 2001, Springer-Verlag, 375-390 pages, 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.