In: Proceeding of the 16th International Conference on Application and Theory of Petri Nets, Turin, June 1995., pages 412-431. 1995.
Abstract: The aim of our project is to develop and implement an efficient modeling technique and methods for a fast sequential and distributed simulation of rea-time systems, such as assembly lines, industrial control systems, or communication protocols. Our simulation language developed to build models of these systems is a class of high-level Petri nets which allows complex objects for token values and provides different kinds of timing aspects as well as an appropriate structuring meachnism for nets. We call this kind of high-level Petri nets THORNs (Timed Hierarchical Object-Related Nets). A problem in simulating any kind of models is the considerable amount of time necessary for the execution of large or complex systems models. In our project we fac e this problem by developing and implementing special methods for an efficient distributed simulator. The main idea is to these methods from the optimistic approach in the theory of distributed simulation of discrete event systems. To compare the performance of the distributed simulator we implement a fast sequential simulator for THORNs. This report describes the class of THORNs and gives an example of modeling with THORNs. A main topic of this report is the efficient implementation of THORNs by a sequential as well as by a distributed simulator.