{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:25:21Z","timestamp":1747578321310},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600299"},{"type":"electronic","value":"9783540494089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60029-9_52","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:31:42Z","timestamp":1330277502000},"page":"412-431","source":"Crossref","is-referenced-by-count":6,"title":["Efficient simulation of Thor nets"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Sch\u00f6f","sequence":"first","affiliation":[]},{"given":"Michael","family":"Sonnenschein","sequence":"additional","affiliation":[]},{"given":"Ralf","family":"Wieting","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"24_CR1","series-title":"volume 424 of Lect. Notes Comput. Sci.","first-page":"1","volume-title":"Advances in Petri Nets 1989","author":"M. A. Marsan","year":"1989","unstructured":"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\u201350. Springer-Verlag, Berlin, Germany, 1989."},{"key":"24_CR2","unstructured":"B. B\u00fctler, 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\u201334, Bonn, Germany, 1989."},{"key":"24_CR3","series-title":"volume 691 of Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/3-540-56863-8_45","volume-title":"Application and Theory of Petri Nets","author":"G. Chiola","year":"1993","unstructured":"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\u2013165, Berlin, Germany, 1993. Springer-Verlag."},{"key":"24_CR4","series-title":"volume 118 of Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/3-540-10856-4_90","volume-title":"Mathematical Foundations of Computer Science","author":"L. A. Cherkasova","year":"1981","unstructured":"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\u2013251. Springer-Verlag, Berlin, Germany, 1981."},{"issue":"5","key":"24_CR5","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1109\/TSE.1979.230182","volume":"SE-5","author":"K. M. Chandy","year":"1979","unstructured":"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\u2013452, 1979.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"24_CR6","volume-title":"Petri Nets & Grafcet","author":"R. David","year":"1992","unstructured":"R. David and H. Alla. Petri Nets & Grafcet. Prentice Hall, New York, 1992."},{"key":"24_CR7","series-title":"volume 674 of Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-56689-9_44","volume-title":"Advances in Petri Nets 1993","author":"F. Feldbrugge","year":"1993","unstructured":"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\u2013209. Springer-Verlag, Berlin, Germany, 1993."},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"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\u2013236, 1994.","DOI":"10.1109\/WSC.1994.717133"},{"key":"24_CR9","series-title":"Informatik aktuell","first-page":"59","volume-title":"Petri-Netze im Einsatz f\u00fcr Entwurf und Entwicklung von Informationssystemen","author":"H. Fleischhack","year":"1993","unstructured":"H. Fleischhack, U. Lichtblau, M. Sonnenschein, and R. Wieting. Abstraktion und Zeitbegriff in h\u00f6heren Netzen. In G. Scheschonk and W. Reisig, editors, Petri-Netze im Einsatz f\u00fcr Entwurf und Entwicklung von Informationssystemen, Informatik aktuell, pages 59\u201371. Springer-Verlag, Berlin, Germany, Sept. 1993. In German."},{"key":"24_CR10","volume-title":"Bericht der Arbeitsgruppe Informatik-Systeme AIS-13","author":"H. Fleischhack","year":"1993","unstructured":"H. Fleischhack, U. Lichtblau, M. Sonnenschein, and R. Wieting. Generische Definition {hierarchischer} {zeitbeschrifteter} {h\u00f6herer} Petrinetze. Bericht der Arbeitsgruppe Informatik-Systeme AIS-13, Fachbereich Informatik, Universit\u00e4t Oldenburg, Germany, Dec. 1993. In German."},{"issue":"10","key":"24_CR11","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/84537.84545","volume":"33","author":"R. Fujimoto","year":"1990","unstructured":"R. Fujimoto. Parallel discrete event simulation. Commun. ACM, 33(10):31\u201353, 1990.","journal-title":"Commun. ACM"},{"key":"24_CR12","volume-title":"Technical Report ORNL\/TM-12187","author":"A. Geist","year":"1994","unstructured":"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."},{"key":"24_CR13","volume-title":"Data Communications, Computer Networks and Open Systems","author":"F. Halsall","year":"1992","unstructured":"F. Halsall. Data Communications, Computer Networks and Open Systems. Addison-Wesley, New York, third edition, 1992.","edition":"third edition"},{"key":"24_CR14","volume-title":"Dissertation","author":"A. Heinrich","year":"1992","unstructured":"A. Heinrich. Petrinetze als Operationsprinzip des parallelen Petrinetz-Prozessors P3. Dissertation, RWTH Aachen, Germany, 1992. In German."},{"issue":"3","key":"24_CR15","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1145\/3916.3988","volume":"7","author":"D. R. Jefferson","year":"1985","unstructured":"D. R. Jefferson. Virtual time. ACM Trans. Program. Lang. Syst., 7(3):404\u2013425, July 1985.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"24_CR16","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"K. Jensen","year":"1992","unstructured":"K. Jensen. Coloured Petri Nets \u2014 Basic Concepts, Analysis Methods and Practical Use Volume 1. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, Germany, 1992."},{"key":"24_CR17","volume-title":"Dissertation","author":"A. Kiehn","year":"1989","unstructured":"A. Kiehn. A structuring mechanism for petri nets. Dissertation, Technische Universit\u00e4t M\u00fcnchen, Germany, 1989."},{"key":"24_CR18","volume-title":"Studienarbeit","author":"R. Koschel","year":"1994","unstructured":"R. Koschel. Modellierung von Kommunikationsprotokollen mit Thor-Netzen. Studienarbeit, Fachbereich Informatik, Universit\u00e4t Oldenburg, Germany, Mar. 1994. In German."},{"key":"24_CR19","volume-title":"Bericht der Arbeitsgruppe Informatik-Systeme AIS-14","author":"F. K\u00f6ster","year":"1993","unstructured":"F. K\u00f6ster, L. Twele, R. Wieting, and W. Ziegler. Fallbeispiele zur Model-lierung mit Thor-Netzen. Bericht der Arbeitsgruppe Informatik-Systeme AIS-14, Fachbereich Informatik, Universit\u00e4t Oldenburg, Germany, Dec. 1993. In German."},{"issue":"7","key":"24_CR20","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport. Time, clocks, and the ordering of events in a distributed system. Commun. ACM, 21(7):558\u2013565, July 1978.","journal-title":"Commun. ACM"},{"key":"24_CR21","unstructured":"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."},{"key":"24_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-90609-0","volume-title":"Methoden verteilter Simulation","author":"H. Mehl","year":"1994","unstructured":"H. Mehl. Methoden verteilter Simulation. Vieweg-Verlag, Braunschweig, Wiesbaden, Germany, 1994. In German."},{"key":"24_CR23","unstructured":"Message Passing Interface Forum. Document for a standard message passing interface. Technical Report CS-93-214, University of Tennessee, Apr. 1994."},{"key":"24_CR24","doi-asserted-by":"crossref","unstructured":"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\u2013583, 1991.","DOI":"10.1109\/WSC.1991.185661"},{"key":"24_CR25","first-page":"33","volume-title":"volume 24 of Simulation Series","author":"B. Preiss","year":"1992","unstructured":"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\u201342, Newport Beach, California, 1992. Society for Computer Simulation International."},{"key":"24_CR26","volume-title":"Dissertation","author":"L. Popova-Zeugmann","year":"1989","unstructured":"L. Popova-Zeugmann. Zeit-Petri-Netze. Dissertation, Humboldt-Universit\u00e4t, Berlin, Germany, 1989. In German."},{"key":"24_CR27","doi-asserted-by":"crossref","unstructured":"A. Prakash and C. V. Ramamoorthy. Hierarchical distributed simulation. In Proceedings of the 8th ICDCS, pages 341\u2013348, 1988.","DOI":"10.1109\/DCS.1988.12535"},{"key":"24_CR28","series-title":"Interim Scientific Report MAC TR-120","volume-title":"Ph.D. Thesis","author":"C. Ramchandani","year":"1974","unstructured":"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."},{"key":"24_CR29","first-page":"534","volume-title":"Modelling aspects of system level design","author":"F. J. Rammig","year":"1993","unstructured":"F. J. Rammig. Modelling aspects of system level design. In Proceedings of the EURO-DAC '93, pages 534\u2013539, Hamburg, Germany, Sept. 1993. IEEE Computer Society Press, Los Alamitos, CA."},{"key":"24_CR30","volume-title":"Bericht der Arbeitsgruppe Informatik-Systeme AIS-17","author":"S. Sch\u00f6f","year":"1994","unstructured":"S. Sch\u00f6f, R. Wieting, F. K\u00f6ster, et al. Konzepte zur sequentiellen und verteilten Simulation von Thor-Netzen. Bericht der Arbeitsgruppe Informatik-Systeme AIS-17, Fachbereich Informatik, Universit\u00e4t Oldenburg, Germany, June 1994. In German."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60029-9_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:30:01Z","timestamp":1619573401000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}