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 real-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 mechanism 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 face this problem by developing and implementing special methods for an efficient distributed simulator. The main idea is to derive 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 withThorns. A main topic of this report is the efficient implementation of Thorns by a sequential as well as by a distributed simulator.
This project was supported in part by the Niedersächsisches Vorab of the Volkswagen-Stiftung; Az. 210-70631/9-13-14/89.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
M. Ajmone Marsan. Stochastic petri nets: an elementary introduction. In G. Rozenberg, editor, Advances in Petri Nets 1989, volume 424 of Lect. Notes Comput. Sci., pages 1–50. Springer-Verlag, Berlin, Germany, 1989.
B. Bütler, R. Esser, and R. Mattmann. A distributed simulator for high order Petri nets. In Proceedings of the 10th International Conference on Applications and Theory of Petri Nets, pages 22–34, Bonn, Germany, 1989.
G. Chiola and A. Ferscha. Distributed simulation of timed petri nets: Exploiting the net structure to obtain efficiency. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets, volume 691 of Lect. Notes Comput. Sci., pages 146–165, Berlin, Germany, 1993. Springer-Verlag.
L. A. Cherkasova and V. L. Kotov. Structured nets. In W. Brauer, editor, Mathematical Foundations of Computer Science, volume 118 of Lect. Notes Comput. Sci., pages 242–251. Springer-Verlag, Berlin, Germany, 1981.
K. M. Chandy and J. Misra. Distributed simulation: A case study in design and verification of distributed programs. IEEE Trans. Softw. Eng., SE-5(5):440–452, 1979.
R. David and H. Alla. Petri Nets & Grafcet. Prentice Hall, New York, 1992.
F. Feldbrugge. Petri net tool overview 1992. In G. Rozenberg, editor, Advances in Petri Nets 1993, volume 674 of Lect. Notes Comput. Sci., pages 169–209. Springer-Verlag, Berlin, Germany, 1993.
A. Ferscha. Concurrent execution of timed petri nets. In J. D. Tew, S. Manivannan, D. A. Sadowski, and A. F. Seila, editors, Proceedings of the 1994 Winter Simulation Conference, pages 229–236, 1994.
H. Fleischhack, U. Lichtblau, M. Sonnenschein, and R. Wieting. Abstraktion und Zeitbegriff in höheren Netzen. In G. Scheschonk and W. Reisig, editors, Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen, Informatik aktuell, pages 59–71. Springer-Verlag, Berlin, Germany, Sept. 1993. In German.
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.
R. Fujimoto. Parallel discrete event simulation. Commun. ACM, 33(10):31–53, 1990.
A. Geist, A. Beguelin, J. Dongarra, et al. PVM 3 user's guide and reference manual. Technical Report ORNL/TM-12187, Oak Ridge National Laboratory, Oak Ridge, Tennessee 37831, May 1994.
F. Halsall. Data Communications, Computer Networks and Open Systems. Addison-Wesley, New York, third edition, 1992.
A. Heinrich. Petrinetze als Operationsprinzip des parallelen Petrinetz-Prozessors P3. Dissertation, RWTH Aachen, Germany, 1992. In German.
D. R. Jefferson. Virtual time. ACM Trans. Program. Lang. Syst., 7(3):404–425, July 1985.
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.
A. Kiehn. A structuring mechanism for petri nets. Dissertation, Technische Universität München, Germany, 1989.
R. Koschel. Modellierung von Kommunikationsprotokollen mit Thor-Netzen. Studienarbeit, Fachbereich Informatik, Universität Oldenburg, Germany, Mar. 1994. In German.
F. Köster, L. Twele, R. Wieting, and W. Ziegler. Fallbeispiele zur Model-lierung mit Thor-Netzen. Bericht der Arbeitsgruppe Informatik-Systeme AIS-14, Fachbereich Informatik, Universität Oldenburg, Germany, Dec. 1993. In German.
L. Lamport. Time, clocks, and the ordering of events in a distributed system. Commun. ACM, 21(7):558–565, July 1978.
C. A. Lakos, C. D. Keen, and E. J. Palmer. A flexible distributed simulator for object-oriented petri nets. In Transputer and Parallel Applications Conference, Melbourne, Australia, 1992.
H. Mehl. Methoden verteilter Simulation. Vieweg-Verlag, Braunschweig, Wiesbaden, Germany, 1994. In German.
Message Passing Interface Forum. Document for a standard message passing interface. Technical Report CS-93-214, University of Tennessee, Apr. 1994.
D. M. Nicol and S. Roy. Parallel simulation of timed petri-nets. In B. Nelson, D. Kelton, and G. Clark, editors, Proceedings of the 1991 Winter Simulation Conference, pages 574–583, 1991.
B. Preiss, D. Macintyre, and W. Loucks. On the trade-off between time and space in optimistic parallel discrete-event simulation. In M. Abrams and P. F. Reynolds Jr., editors, Proceedings of the 6th Workshop on Parallel and Distributed Simulation, volume 24 of Simulation Series, pages 33–42, Newport Beach, California, 1992. Society for Computer Simulation International.
L. Popova-Zeugmann. Zeit-Petri-Netze. Dissertation, Humboldt-Universität, Berlin, Germany, 1989. In German.
A. Prakash and C. V. Ramamoorthy. Hierarchical distributed simulation. In Proceedings of the 8th ICDCS, pages 341–348, 1988.
C. Ramchandani. Analysis of asynchronous concurrent systems by petri nets. Interim Scientific Report MAC TR-120, Massachusetts Institute of Technology, Cambridge, Massachusetts, Feb. 1974. Ph.D. Thesis.
F. J. Rammig. Modelling aspects of system level design. In Proceedings of the EURO-DAC '93, pages 534–539, Hamburg, Germany, Sept. 1993. IEEE Computer Society Press, Los Alamitos, CA.
S. Schöf, R. Wieting, F. Köster, et al. Konzepte zur sequentiellen und verteilten Simulation von Thor-Netzen. Bericht der Arbeitsgruppe Informatik-Systeme AIS-17, Fachbereich Informatik, Universität Oldenburg, Germany, June 1994. In German.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schöf, S., Sonnenschein, M., Wieting, R. (1995). Efficient simulation of Thor nets. In: De Michelis, G., Diaz, M. (eds) Application and Theory of Petri Nets 1995. ICATPN 1995. Lecture Notes in Computer Science, vol 935. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60029-9_52
Download citation
DOI: https://doi.org/10.1007/3-540-60029-9_52
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60029-9
Online ISBN: 978-3-540-49408-9
eBook Packages: Springer Book Archive