{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:58Z","timestamp":1725663958478},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581840"},{"type":"electronic","value":"9783540484776"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58184-7_110","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:28:17Z","timestamp":1330252097000},"page":"301-312","source":"Crossref","is-referenced-by-count":2,"title":["Petri net performance models of parallel systems \u2014 Methodology and case study"],"prefix":"10.1007","author":[{"given":"H.","family":"Wabnig","sequence":"first","affiliation":[]},{"given":"G.","family":"Haring","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0743-7315(92)90025-I","volume":"16","author":"C. M. Chase","year":"1992","unstructured":"Craig M. Chase, Alex L. Cheung, Anthony P. Reeves, and Mark R. Smith. Paragon: A Parallel Programming Environment for Scientific Applications Using Communication Structures. Journal of Parallel and Distributed Computing, 16:79\u201391, 1992.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"26_CR2","unstructured":"Mark Debbage, Mark Hill, and Denis Nicole. Virtual Channel Router Version 2.0 User Guide. Department of Electronics & Computer Science, University of Southampton, June 1991."},{"key":"26_CR3","first-page":"507","volume":"84","author":"J. B. Dugan","year":"1984","unstructured":"J. B. Dugan, K. S. Trivedi, R. M. Geist, and V. F. Nicola. Extended stochastic Petri nets: Applications and analysis, pages 507\u2013519. Performance 84, Paris, France, December 1984.","journal-title":"Performance"},{"key":"26_CR4","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):188\u2013206, 1992.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"26_CR5","unstructured":"A. Ferscha and G. Haring. On Performance Oriented Environments for the Development of Parallel Programs. Kybernetika a Informatika, Proceedings of the 15th Symposium on Cybernetics and Informatics '91, April 3\u20135 1991, Smolenice Castle, \u010dSFR, 4(1\/2), 1991."},{"key":"26_CR6","unstructured":"Alois Ferscha. Modellierung und Leistungsanalyse paralleler Systeme mit dem PRM-Netz Modell. Ph.D. Thesis, University of Vienna. To be published in OCG-Schriftenreihe, Oldenbourg Verlag, 65, 1990."},{"key":"26_CR7","unstructured":"Institut f\u00fcr Informatik. TOPSYS User's Overview Version 1.0. Technische Universit\u00e4t M\u00fcnchen, 1990."},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"G. A. Geist, M. T. Heath, B. W. Peyton, and P. H. Worley. PICL: A Portable Instrumented Communication Library. Technical Report ORNL\/TM-11130, Oak Ridge National Laboratory, July 1990.","DOI":"10.2172\/6427471"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"G. A. Geist, M. T. Heath, B. W. Peyton, and P. H. Worley. A users' guide to PICL: a portable instrumented communication library. Technical Report ORNL\/TM-11616, Oak Ridge National Laboratory, August 1990.","DOI":"10.2172\/6427471"},{"key":"26_CR10","unstructured":"Erol Gelenbe. Multiprocessor Performance, Series in Parallel Computing. John Wiley & Sons Ltd., 1989."},{"key":"26_CR11","unstructured":"Leana Golubchik, Gary D. Rozenblat, William C. Cheng, and Richard R. Muntz. The Tangram Modeling Environment. In Proc. of the 5th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation. Torino, Italy, Feb. 13\u201315, 1991, pages 421\u2013435, 1991."},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"V.A. Guarna Jr., D. Gannon, D. Jablonowski, A.D. Mallony, and Y. Gaur. FAUST: An Integrated Environment for Parallel Programming. IEEE Software, 6(4), 1989.","DOI":"10.1109\/52.31649"},{"key":"26_CR13","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":"5","key":"26_CR14","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/52.84214","volume":"8","author":"M. T. Heath","year":"1991","unstructured":"Michael T. Heath and Jennifer A. Etheridge. Visualizing the Performance of Parallel Programs. IEEE Software, 8(5):29\u201339, September 1991.","journal-title":"IEEE Software"},{"issue":"1","key":"26_CR15","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/322358.322366","volume":"30","author":"R. E. Lord","year":"1983","unstructured":"R. E. Lord, J. S. Kowalik, and S. P. Kumar. Solving linear algebraic equations on an MIMD computer. Journal of the ACM, 30(1):103\u2013117, January 1983.","journal-title":"Journal of the ACM"},{"issue":"2","key":"26_CR16","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. A. Marsan","year":"1984","unstructured":"M. A. Marsan, G. Conte, and G. Balbo. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst., 2(2):93\u2013122, 1984.","journal-title":"ACM Trans. Comput. Syst."},{"key":"26_CR17","volume-title":"Technical report, Ph.D. dissertation","author":"M. Molloy","year":"1981","unstructured":"M. Molloy. On the integration of delay and throughput measures in distributed processing models. Technical report, Ph.D. dissertation, Univ. California, Los Angeles, 1981."},{"key":"26_CR18","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"C-31","author":"M. Molloy","year":"1982","unstructured":"M. Molloy. Performance modeling using stochastic Petri nets. IEEE Trans. Comput., C-31:913\u2013917, September 1982.","journal-title":"IEEE Trans. Comput."},{"issue":"4","key":"26_CR19","doi-asserted-by":"publisher","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":"26_CR20","unstructured":"Lionel M. Ni and Philip K. McKinley. A Survey of Wormhole Routing Techniques in Direct Networks. IEEE Computer, February 1993."},{"issue":"3","key":"26_CR21","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1109\/52.55223","volume":"7","author":"K. Nichols","year":"1990","unstructured":"K. Nichols. Performance Tools. IEEE Software, 7(3):21\u201330, May 1990.","journal-title":"IEEE Software"},{"key":"26_CR22","unstructured":"OACIS. Parallel Programming Support Environment Research. Technical Report TR-PPSE-89-1, Oregon Advanced Computing Institute, 1989."},{"issue":"3","key":"26_CR23","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/52.55226","volume":"7","author":"P. Oman","year":"1990","unstructured":"P. Oman. CASE Analysis and Design Tools. IEEE Software, 7(3):37\u201343, May 1990.","journal-title":"IEEE Software"},{"issue":"3","key":"26_CR24","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/52.55227","volume":"7","author":"P. Oman","year":"1990","unstructured":"P. Oman. Tools for Multiple CPU Environments. IEEE Software, 7(3):45\u201351, May 1990.","journal-title":"IEEE Software"},{"key":"26_CR25","unstructured":"PARSYTEC. PARIX Release 1.2 Software Documentation. PARSYTEC Computer GmbH, March 1993."},{"key":"26_CR26","volume-title":"Technical Report RADC-TR-65-377, vol.1, Suppl. 1","author":"C. A. Petri","year":"1966","unstructured":"C. A. Petri. Communication with Automata. Technical Report RADC-TR-65-377, vol.1, Suppl. 1, New York: Griffiss Air Force Base, 1966."},{"key":"26_CR27","unstructured":"R. J. Pooley. The Integrated Modelling Support Environment, a new generation of performance modelling tools. In Proc. of the 5th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation. Torino, Italy, Feb. 13\u201315, 1991, pages 1\u201315, 1991."},{"key":"26_CR28","volume-title":"Designing Efficient Algorithms for Parallel Computers","author":"M. J. Quinn","year":"1987","unstructured":"M. J. Quinn. Designing Efficient Algorithms for Parallel Computers. McGraw-Hill International Publishers, New York, 1987."},{"key":"26_CR29","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1109\/TSE.1980.230492","volume":"SE-6","author":"C. V. Ramamoorthy","year":"1984","unstructured":"C. V. Ramamoorthy and G. S. Ho. Performance evaluation of asynchronous concurrency systems using Petri nets. IEEE Trans. Software Eng., SE-6:440\u2013449, September 1984.","journal-title":"IEEE Trans. Software Eng."},{"key":"26_CR30","unstructured":"R. R. Razouk and C. V. Phelps. Performance analysis using timed Petri nets. pages 126\u2013129. Proc. 1984 Int. Conf. Parallel Processing, August 1984."},{"key":"26_CR31","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/MS.1985.232066","volume":"2","author":"Z. Segall","year":"1985","unstructured":"Z. Segall and L. Rudolph. PIE: A Programming and Instrumentation Environment for Parallel Programming. IEEE Software, 2:22\u201337, November 1985.","journal-title":"IEEE Software"},{"key":"26_CR32","unstructured":"J. Sifakis. Petri nets for performance evaluation. In Measuring, Modeling, and Evaluating Computer Systems, pages 75\u201393. H. Beilner and E. Gelenbe, Eds. North-Holland, 1977."},{"key":"26_CR33","first-page":"628","volume-title":"Poker on the Cosmic Cube: The first retargetable parallel programming language and environment","author":"L. Snyder","year":"1986","unstructured":"L. Snyder and D. Socha. Poker on the Cosmic Cube: The first retargetable parallel programming language and environment. In K. Hwang, S.M. Jacobs, E.E. Swartzlander (Editor): Proceedings of Int'l Conf. on Parallel Processing, IEEE Computer Society Press, Washington D.C., pages 628\u2013635, August 1986."},{"key":"26_CR34","first-page":"284","volume-title":"Lecture Notes in Computer Science 794","author":"H. Wabnig","year":"1994","unstructured":"H. Wabnig and G. Haring. PAPS \u2014 The Parallel Program Performance Prediction Toolset. In 7th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, (Vienna, Austria, May 4\u20136, 1994), to be published in Lecture Notes in Computer Science 794, pages 284\u201330. Springer Verlag, 1994."},{"key":"26_CR35","volume-title":"TRANSPUTERS'94","author":"H. Wabnig","year":"1994","unstructured":"H. Wabnig and G. Haring. Performance Prediction of Transputer Applications. Submitted to TRANSPUTERS'94, (Saline Royale d' Arc et Senans, France, September 21\u201323, 1994), 1994."},{"key":"26_CR36","doi-asserted-by":"crossref","unstructured":"H. Wabnig, G. Haring, D. Kranzlm\u00fcller, and J. Volkert. Communication Pattern based Performance Prediction on the nCUBE 2 Multiprocessor System. Submitted to CONPAR'94 \u2014 VAPP VI, (Linz, Austria, September 6\u20138, 1994), 1994.","DOI":"10.1007\/3-540-58430-7_5"},{"key":"26_CR37","first-page":"64","volume-title":"Performance Prediction of Parallel Programs","author":"H. Wabnig","year":"1993","unstructured":"H. Wabnig, G. Kotsis, and G. Haring. Performance Prediction of Parallel Programs. In Proc. of the 7th GI\/ITG Conference on Measurement, Modelling and Performance Evaluation of Computer Systems, 21\u201323 September 1993, Aachen, Germany, pages 64\u201376. Springer Verlag, New York, 1993."}],"container-title":["Lecture Notes in Computer Science","PARLE'94 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58184-7_110.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:18:05Z","timestamp":1605629885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58184-7_110"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581840","9783540484776"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-58184-7_110","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}