{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:49Z","timestamp":1725664189224},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580218"},{"type":"electronic","value":"9783540484165"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58021-2_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:06:26Z","timestamp":1330268786000},"page":"231-252","source":"Crossref","is-referenced-by-count":4,"title":["Accelerating the evaluation of parallel program performance models using distributed simulation"],"prefix":"10.1007","author":[{"given":"A.","family":"Ferscha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Chiola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","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. IEEE-CS Press, 1991.","DOI":"10.1109\/PNPM.1991.238802"},{"issue":"2","key":"13_CR2","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1109\/71.127262","volume":"3","author":"G. Balbo","year":"1992","unstructured":"G. Balbo, G. Chiola, S.C. Bruell, and P. Chen. An Example of Modelling and Evaluation of a Concurrent Program using Coloured Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm. IEEE Transactions on Parallel and Distributed Systems, 3(2):221\u2013240, March 1992.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"13_CR3","unstructured":"G. Chiola. GreatSPN1.5 Software Architecture. In Proc. of the 5th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation. Torino, Italy, Feb 13\u201315, 1991, pages 117\u2013132, 1991."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"G. Chiola, M. Ajmone Marsan, G. Balbo, and G. Conte. Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications. IEEE Transactions on Software Engineering, 19(2), February 1993.","DOI":"10.1109\/32.214828"},{"issue":"3","key":"13_CR5","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/88.242441","volume":"1","author":"G. Chiola","year":"1993","unstructured":"G. Chiola and A. Ferscha. Distributed Simulation of Petri Nets. IEEE Parallel and Distributed Technology, 1(3):33\u201350, August 1993.","journal-title":"IEEE Parallel and Distributed Technology"},{"key":"13_CR6","first-page":"146","volume-title":"Lecture Notes in Computer Science 691","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, Proc. of the 14 th Int. Conf. on Application and Theory of Petri Nets 1993, Chicago, June 1993, Lecture Notes in Computer Science 691, pages 146\u2013165, Berlin, 1993. Springer Verlag."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"G. Chiola and A. Ferscha. Exploiting Timed Petri Net Properties for Distributed Simulation Partitioning. In Proceedings of the 26th Hawaii Int. Conf. on Systems Sciences, pages 194\u2013203. IEEE Computer Society Press, 1993.","DOI":"10.1109\/HICSS.1993.284110"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"G. Ciardo, A. Blakemore, P. Chimento, J. K. Muppala, and K. S. Trivedi. Automated Generation and Analysis of Markov Reward Models using Stochastic Reward Nets. In C. Meyer and R. J. Plemmons, editors, Linear Algebra, Markov Chains, and Queueing Models. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4613-8351-2_11"},{"key":"13_CR9","first-page":"2","volume":"41","author":"F. Feldbrugge","year":"1992","unstructured":"F. Feldbrugge. Special Volume: Petri Net Tools Overview 92. Petri Net Newsletter, (41):2\u201342, 1992.","journal-title":"Petri Net Newsletter"},{"key":"13_CR10","unstructured":"A. Ferscha. Modelling Mappings of Parallel Computations onto Parallel Architectures with the PRM-Net Model. In C. Girault and M. Cosnard, editors, Proc. of the IFIP WG 10.3 Working Conf. on Decentralized Systems, pages 349\u2013362. North Holland, 1990."},{"issue":"3","key":"13_CR11","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1016\/0743-7315(92)90003-6","volume":"15","author":"A. Ferscha","year":"1992","unstructured":"A. Ferscha. A Petri Net Approach for Performance Oriented Parallel Program Design. Journal of Parallel and Distributed Computing, 15(3):188\u2013206, July 1992.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"13_CR12","first-page":"307","volume-title":"Proceedings of the TRANSPUTER '92 Conference","author":"A. Ferscha","year":"1992","unstructured":"A. Ferscha and G. Kotsis. Optimum Interconnection Topologies for the Compute-Aggregate-Broadcast Operation on a Transputer Network. In Proceedings of the TRANSPUTER '92 Conference, pages 307\u2013326, Amsterdam, 1992. IOS Press."},{"issue":"10","key":"13_CR13","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":"13_CR14","unstructured":"Michael T. Heath and Jennifer A. Etheridge. Visualizing Performance of Parallel Programs. Technical Report ORNL\/TM-11813, Oak Ridge National Laboratory, May 1991."},{"issue":"3","key":"13_CR15","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":"1","key":"13_CR16","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/6462.6485","volume":"18","author":"J. Misra","year":"1986","unstructured":"Jayadev Misra. Distributed Discrete-Event Simulation. ACM Computing Surveys, 18(1):39\u201365, March 1986.","journal-title":"ACM Computing Surveys"},{"issue":"4","key":"13_CR17","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"},{"key":"13_CR18","volume-title":"Technical report","author":"J. P. Singh","year":"1993","unstructured":"J. P. Singh, W.-D. Weber, and A. Gupta. SPLASH: Stanford Parallel Applications for Shared Memory. Technical report, Computer Systems Laboratory, Stanford University, CA 94305, 1993."},{"key":"13_CR19","unstructured":"G. S. Thomas. Parallel Simulation of Petri Nets. Technical Report TR 91-05-05, Dep. of Computer Science, University of Washington, May 1991."}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation Modelling Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58021-2_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:16:10Z","timestamp":1605647770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58021-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580218","9783540484165"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-58021-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}