{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:08Z","timestamp":1725664028946},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568636"},{"type":"electronic","value":"9783540477594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_45","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:41:59Z","timestamp":1330238519000},"page":"146-165","source":"Crossref","is-referenced-by-count":10,"title":["Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Chiola","sequence":"first","affiliation":[]},{"given":"Alois","family":"Ferscha","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"4","key":"10_CR1","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata. Petri nets: properties, analysis, and applications. Proceedings of the IEEE, 77(4):541\u2013580, April 1989.","journal-title":"Proceedings of the IEEE"},{"issue":"11","key":"10_CR2","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1109\/TSE.1979.230182","volume":"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 Transactions on Software Engineering, 5(11):440\u2013452, September 1979.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"10_CR3","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1145\/3916.3988","volume":"7","author":"D.A. Jefferson","year":"1985","unstructured":"D.A. Jefferson. Virtual time. ACM Transactions on Programming Languages and Systems, 7(3):404\u2013425, July 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"10","key":"10_CR4","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/84537.84545","volume":"33","author":"R.M. Fujimoto","year":"1990","unstructured":"R.M. Fujimoto. Parallel discrete event simulation. Communications of the ACM, 33(10):30\u201353, October 1990.","journal-title":"Communications of the ACM"},{"key":"10_CR5","first-page":"61","volume-title":"Proc. Conference on Distributed Simulation 1988","author":"A. Gafni","year":"1988","unstructured":"A. Gafni. Rollback mechanisms for optimistic distributed simulation systems. In Proc. Conference on Distributed Simulation 1988, pages 61\u201367, California, 1988. Society for Computer Simulation."},{"issue":"1","key":"10_CR6","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/102810.102813","volume":"1","author":"Y.B. Lin","year":"1991","unstructured":"Y.B. Lin and E.D. Lazowska. A study of the time warp rollback mechanism. ACM Transactions on Modeling and Computer Simulation, 1(1):51\u201372, January 1991.","journal-title":"ACM Transactions on Modeling and Computer Simulation"},{"issue":"2","key":"10_CR7","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1145\/116890.116912","volume":"1","author":"B. Lubachevsky","year":"1991","unstructured":"B. Lubachevsky, A. Weiss, and A. Shwartz. An analysis of rollback based simulation. ACM Transactions on Modeling and Computer Simulation, 1(2):154\u2013193, April 1991.","journal-title":"ACM Transactions on Modeling and Computer Simulation"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"G.S. Thomas and J. Zahorjan. Parallel simulation of performance Petri nets: Extending the domain of parallel simulation. In B. Nelson, D. Kelton, and G. Clark, editors, Proc. 1991 Winter Simulation Conference, 1991.","DOI":"10.1109\/WSC.1991.185660"},{"key":"10_CR9","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, Proc. 1991 Winter Simulation Conference, pages 574\u2013583, 1991.","DOI":"10.1109\/WSC.1991.185661"},{"key":"10_CR10","first-page":"186","volume-title":"Proc. 4th Intern. Workshop on Petri Nets and Performance Models","author":"H.H. Ammar","year":"1991","unstructured":"H.H. Ammar and S. Deng. Time warp simulation of stochastic Petri nets. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, pages 186\u2013195, Melbourne, Australia, December 1991. IEEE-CS Press."},{"issue":"4","key":"10_CR11","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1016\/0026-2714(91)90010-5","volume":"31","author":"M. A. Marsan","year":"1991","unstructured":"M. Ajmone Marsan, G. Balbo, G. Chiola, G. Conte, S. Donatelli, and G. Franceschinis. An introduction to Generalized Stochastic Petri Nets. Microelectronics and Reliability, 31(4):699\u2013725, 1991. Special issue on Petri nets and related graph models.","journal-title":"Microelectronics and Reliability"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"G. Balbo and G. Chiola. Stochastic Petri net simulation. In Proc. 1989 Winter Simulation Conference, Washington D.C., December 1989.","DOI":"10.1145\/76738.76772"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"G. Chiola and A. Ferscha. Distributed discrete event simulation of timed Petri nets. Technical report, Austrian Center for Parallel Computation, Technical University of Vienna, 1993. to appear.","DOI":"10.1109\/88.242441"},{"key":"10_CR14","first-page":"63","volume-title":"Proc. Conference on Distributed Simulation 1985","author":"D. Jefferson","year":"1985","unstructured":"D. Jefferson and H. Sowizral. Fast concurrent simulation using the time warp mechanism. In P. Reynolds, editor, Proc. Conference on Distributed Simulation 1985, pages 63\u201369, La Jolla, California, 1985. Society for Computer Simulation."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56863-8_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:06:16Z","timestamp":1605629176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}