{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:11:58Z","timestamp":1725549118961},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642118418"},{"type":"electronic","value":"9783642118425"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11842-5_13","type":"book-chapter","created":{"date-parts":[[2010,3,5]],"date-time":"2010-03-05T17:12:15Z","timestamp":1267809135000},"page":"108-113","source":"Crossref","is-referenced-by-count":0,"title":["Study on Parallel System Performance Modeling Based on TCPN"],"prefix":"10.1007","author":[{"given":"Bin","family":"Cheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xingang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weiqin","family":"Tong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Ferscha, A.: Modelling Mappings of Parallel Computations onto Parallel Architectures with the PRM-Net Model. In: Girault, C., Cosnard, M. (eds.) Proc. of the IFIP WG 10.3 Working Conf. on Decentralized Systems, pp. 349\u2013362 (1990)"},{"issue":"2","key":"13_CR2","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1109\/71.127262","volume":"3","author":"G. Balbo","year":"1992","unstructured":"Balbo, G., Chiola, G., Bruell, S.C., Chen, P.: An Example of Modelling and Evaluation of a Concurrent Program using Coloured Stochastic Petri Nets: Lamport\u2019s Fast Mutual Exclusion Algorithm. IEEE Transactions on Parallel and Distributed Systems\u00a03(2), 221\u2013240 (1992)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"13_CR3","first-page":"307","volume-title":"Proceedings of the TRANSPUTER 1992 Conference","author":"A. Ferscha","year":"1992","unstructured":"Ferscha, A., Kotsis, G.: Optimum Interconnection Topologies for the Compute-Aggregate-Broadcast Operation on a Transputer Network. In: Proceedings of the TRANSPUTER 1992 Conference, pp. 307\u2013326. IOS Press, Amsterdam (1992)"},{"issue":"3","key":"13_CR4","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1016\/0743-7315(92)90003-6","volume":"15","author":"A. Ferscha","year":"1992","unstructured":"Ferscha, A.: A Petri Net Approach for Performance Oriented Parallel Program Design. Journal of Parallel and Distributed Computing\u00a015(3), 188\u2013206 (1992)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Herzog, U.: Formal methods for performance evaluation. Springer Lectures on Formal Methods and Performance Analysis, 1\u201337 (2002)","DOI":"10.1007\/3-540-44667-2_1"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Gesbert, L., Loulergue, F.: Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML. In: Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies, pp. 201\u2013208 (2007)","DOI":"10.1109\/PDCAT.2007.77"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Carter, J., Gardner, W.B.: A Formal CSP Framework for Message-Passing HPC Programming. In: 2006 Canadian Conference on Electrical and Computer Engineering, CCECE 2006, pp. 1466\u20131470 (2007)","DOI":"10.1109\/CCECE.2006.277495"}],"container-title":["Lecture Notes in Computer Science","High Performance Computing and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11842-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T17:26:47Z","timestamp":1558891607000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11842-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642118418","9783642118425"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11842-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}