{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:54Z","timestamp":1725663594727},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556763"},{"type":"electronic","value":"9783540472704"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55676-1_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:28:56Z","timestamp":1330252136000},"page":"1-23","source":"Crossref","is-referenced-by-count":3,"title":["Performance issues in parallel programming"],"prefix":"10.1007","author":[{"given":"Gianfranco","family":"Balbo","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"1_CR1","volume-title":"Proc. 2nd Int. Workshop Applied Mathematics & Performance\/Reliability Models of Computer\/Communication Systems","author":"M. Ajmone Marsan","year":"1987","unstructured":"M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte. Applicability of stochastic Petri nets to performance modeling. In G. Iazeolla, P.J. Courtois, and O.J. Boxma, editors, Proc. 2 nd Int. Workshop Applied Mathematics & Performance\/Reliability Models of Computer\/Communication Systems, Roma, Italy, May 1987. North-Holland."},{"key":"1_CR2","volume-title":"Proc. 1987 SIGMETRICS Conference","author":"M. Ajmone Marsan","year":"1987","unstructured":"M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte. Modeling the software architecture of a prototype parallel machine. In Proc. 1987 SIGMETRICS Conference, Banf, Alberta, Canada, May 1987. ACM."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Transactions on Computer Systems, 2(1), May 1984.","DOI":"10.1145\/190.191"},{"key":"1_CR4","doi-asserted-by":"crossref","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(1), January 1992.","DOI":"10.1109\/71.127262"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"G. Balbo, S. Donatelli, and G. Franceschmis. Understanding parallel programs behaviour through Petri net models. To be published on the Special Issue of the Journal of Parallel and Distributed Computing on Petri Net Modelling of Parallel Computers, 1992.","DOI":"10.1016\/0743-7315(92)90002-5"},{"key":"1_CR6","unstructured":"G. Balbo, S. Donatelli, G. Franceschinis, A. Mazzeo, A. Mazzocca, and M. Ribaudo. On parallel program characterization. Submitted for publication, 1992."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Shahid H. Bokhari. Assignment Problems in Parallel and Distributed Computing. Kluwer Academic Publishers, 1987.","DOI":"10.1007\/978-1-4613-2003-6"},{"issue":"2","key":"1_CR8","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1109\/TSE.1986.6312948","volume":"12","author":"G. Bruno","year":"1986","unstructured":"G. Bruno and G. Marchetto. Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Transactions on Software Engineering, 12(2):346\u2013357, February 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"G. Chiola, S. Donatelli, and G. Franceschinis. GSPN versus SPN: what is the actual role of immediate transitions? In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991","DOI":"10.1109\/PNPM.1991.238785"},{"key":"1_CR10","volume-title":"High-Level Petri Nets. Theory and Application","author":"G. Chiola","year":"1991","unstructured":"G. Chiola, C. Dutheillet, G. Franceschmis, and S. Haddad. On well-formed coloured nets and their symbolic reachability graph. In Proc. 11th International Conference on Application and Theory of Petri Nets, Paris, France, June 1990. Reprinted in High-Level Petri Nets. Theory and Application, K. Jensen and G. Rozenberg (editors), Springer Verlag, 1991."},{"key":"1_CR11","unstructured":"Giovanni Chiola. GreatSPN 1.5 software architecture. In Proc. 5th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, February 1991."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"F. De Cindio, G. De Michelis, L. Pomello, and C. Simone. Superposed automata nets. In C. Girault and W. Reisig, editors, Application and Theory of Petri Nets. IFB 52, New York and London, 1982.","DOI":"10.1007\/978-3-642-68353-4_44"},{"key":"1_CR13","unstructured":"F. DeCindio and O. Botti. Comparing Occam2 program placements by a GSPN model. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"S. Donatelli. Superposed stochastic automata: a class of stochastic Petri nets amenable to parallel solution. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991.","DOI":"10.1109\/PNPM.1991.238782"},{"key":"1_CR15","unstructured":"R. Ducan. A survey of parallel computer architecture. IEEE Computer, February 1980."},{"key":"1_CR16","first-page":"408","volume":"38","author":"D. L. Eager","year":"1989","unstructured":"D.L. Eager, J. Zahorian, and E.D. Lazowska. Speed up versus efficiency in parallel systems. ACM Transactions on Computer Systems, 38:408\u2013423, March 1989.","journal-title":"ACM Transactions on Computer Systems"},{"key":"1_CR17","unstructured":"A. Ferscha. Modelling mappings of parallel computations onto parallel architectures with prm-net model. In Proc. IFIP-WG 10.3 Working Conference on Decentralized Systems, Lyon, December 1989."},{"key":"1_CR18","unstructured":"E. Gelenbe. Multiprocessor Performance. John Wiley & Sons, 1989."},{"key":"1_CR19","first-page":"60","volume-title":"A general way to put time in Petri nets","author":"C. Ghezzi","year":"1989","unstructured":"C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezz\u00e8. A general way to put time in Petri nets. In Proc. 5th Intern. Conference on Software Specification and Design, pages 60\u201367, Pittsburgh, PA, May 1989. IEEE-CS Press."},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0096-0551(89)90023-4","volume":"14","author":"C. Ghezzi","year":"1989","unstructured":"C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezz\u00e8. Symbolic execution of concurrent systems using petri nets. Computer Languages, 14:263\u2013281, 1989.","journal-title":"Computer Languages"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating sequential process. Communications of ACM, Aug 1978.","DOI":"10.1145\/359576.359585"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"G. Iannello, A. Mazzeo, C. Savy, and G. Ventre. Parallel software development in disc programming enviroment. Future Generation Computer Systems, 5(4), 1990.","DOI":"10.1016\/0167-739X(90)90036-D"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"O. Kramer and H. Muhlenbein. Mapping strategies in message-based multiprocessors system. Parallel Computing, 9, 1989.","DOI":"10.1016\/0167-8191(89)90129-4"},{"key":"1_CR24","volume-title":"OCCAM Programming Manual","author":"INMOS Limited","year":"1984","unstructured":"INMOS Limited. OCCAM Programming Manual. Prentice-Hall, Englewood Cliffs, NJ, 1984."},{"key":"1_CR25","unstructured":"MEIKO Limited. CStools Reference Manual. Bristol, UK, 1989."},{"issue":"3","key":"1_CR26","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1109\/32.21759","volume":"15","author":"T. Murata","year":"1989","unstructured":"T. Murata, B. Shenker, and S. Shatz. Detection of Ada static deadlocks using Petri nets invariants. IEEE Transactions on Software Engineering, 15(3):314\u2013326, March 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"C.V. Ramamoorty and W.T. Tsai A. Prakash. Software engineering: Problems and perspectives. IEEE Transactions on Computer, October 1984.","DOI":"10.1109\/MC.1984.1658970"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"C. G. Rommel. The probability of load balancing success in a homogeneous network. IEEE Transactions on Software Engineering, SE-17(9), September 1991.","DOI":"10.1109\/32.92912"},{"key":"1_CR29","unstructured":"S. Shatz and J. Wang. Tutorial on Distributed Software Engeneering. IEEE-CS Press, 1989."},{"key":"1_CR30","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0164-1212(88)90027-1","volume":"8","author":"S. M. Shatz","year":"1987","unstructured":"S.M. Shatz and W.K. Cheng. A Petri net framework for automated static analysis of Ada tasking. The Journal of Systems and Software, 8:343\u2013359, October 1987.","journal-title":"The Journal of Systems and Software"},{"key":"1_CR31","volume-title":"Developing Transputer Applications","author":"H. Shen","year":"1989","unstructured":"Hong Shen. Self-adjusting mapping: A heuristic mapping algorithm for mapping parallel program onto transputer networks. In Eleventh O. U. G.: Developing Transputer Applications, Edinburgh, September 1989. Occam User Group."},{"key":"1_CR32","unstructured":"M. Silva. Las Redes de Petri en la Automatica y la Informatica. Ed. AC, Madrid, Spain, 1985."},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"J.K. Aggarwal Soo-Young Lee. A mapping strategy for parallel processing. IEEE Transactions on Computers, C 36(4), Apr 1987.","DOI":"10.1109\/TC.1987.1676925"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"R. Taylor. A general purpose algorithm for analyzing concurrent programs. Communications of ACM, 26, May 1983.","DOI":"10.1145\/69586.69587"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1992"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55676-1_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:01:07Z","timestamp":1605646867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55676-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556763","9783540472704"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-55676-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}