{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:32Z","timestamp":1725558992053},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540241287"},{"type":"electronic","value":"9783540305668"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30566-8_12","type":"book-chapter","created":{"date-parts":[[2010,7,2]],"date-time":"2010-07-02T17:07:43Z","timestamp":1278090463000},"page":"64-74","source":"Crossref","is-referenced-by-count":4,"title":["Towards Correct Distributed Simulation of High-Level Petri Nets with Fine-Grained Partitioning"],"prefix":"10.1007","author":[{"given":"Michael","family":"Knoke","sequence":"first","affiliation":[]},{"given":"Felix","family":"K\u00fchling","sequence":"additional","affiliation":[]},{"given":"Armin","family":"Zimmermann","sequence":"additional","affiliation":[]},{"given":"G\u00fcnter","family":"Hommel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","first-page":"225","volume":"39","author":"A. Zimmermann","year":"2001","unstructured":"Zimmermann, A., Freiheit, J., Huck, A.: A Petri net based design engine for manufacturing systems. Int. Journal of Production Research, special issue on Modeling, Specification and Analysis of Manufacturing Systems\u00a039, 225\u2013253 (2001)","journal-title":"Int. Journal of Production Research, special issue on Modeling, Specification and Analysis of Manufacturing Systems"},{"key":"12_CR2","volume-title":"Basic Concepts. EATCS Monographs on Theoretical Computer Science","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. EATCS Monographs on Theoretical Computer Science, vol.\u00a01. Springer, Germany (1992)"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1109\/WSC.1993.718035","volume-title":"Proceedings of the 1993 Winter Simulation Conference","author":"R. Fujimoto","year":"1993","unstructured":"Fujimoto, R.: Parallel and distributed discrete event simulation: algorithms and applications. In: Evans, G.W., Mollaghasemi, M., Russell, E.C., Biles, W.E. (eds.) Proceedings of the 1993 Winter Simulation Conference, Los Angeles, CA, pp. 106\u2013114. ACM, New York (1993)"},{"doi-asserted-by":"crossref","unstructured":"Nicol, D.M., Mao, W.: Automated parallelization of timed petri-net simulations. Journal of Parallel and Distributed Computing\u00a01 (1995)","key":"12_CR4","DOI":"10.1006\/jpdc.1995.1106"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1145\/3916.3988","volume":"7","author":"D. Jefferson","year":"1985","unstructured":"Jefferson, D.: Virtual time. ACM Transactions on Programming Languages and Systems\u00a07, 405\u2013425 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM\u00a021, 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"doi-asserted-by":"crossref","unstructured":"Zeng, Y., Cai, W., Turner, S.: Causal Order Based Time Warp: A Tradeoff of Optimism. In: Proceedings of the 2003 Winter Simulation Conference (2003)","key":"12_CR7","DOI":"10.1109\/WSC.2003.1261504"},{"unstructured":"Mattern, F.: Virtual Time and Global States of Distributed Systems. In: Proceedings Parallel and Distributed Algorithms Conference, pp. 215\u2013226 (1988)","key":"12_CR8"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/2.84874","volume":"24","author":"C. Fidge","year":"1991","unstructured":"Fidge, C.: Logical Time in Distributed Computing Systems. Computer\u00a024, 28\u201333 (1991)","journal-title":"Computer"},{"key":"12_CR10","volume-title":"Parallel and Distributed Simulation of Discrete Event Systems","author":"A. Ferscha","year":"1995","unstructured":"Ferscha, A.: Parallel and Distributed Simulation of Discrete Event Systems. McGraw-Hill, New York (1995)"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/88.242441","volume":"1","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Ferscha, A.: Distributed simulation of Petri Nets. IEEE Parallel and Distributed Technology\u00a01, 33\u201350 (1993)","journal-title":"IEEE Parallel and Distributed Technology"}],"container-title":["Lecture Notes in Computer Science","Parallel and Distributed Processing and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30566-8_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:30:19Z","timestamp":1619998219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30566-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540241287","9783540305668"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30566-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}