{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:37:48Z","timestamp":1725557868836},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540408147"},{"type":"electronic","value":"9783540452324"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45232-4_7","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T23:19:34Z","timestamp":1277335174000},"page":"98-115","source":"Crossref","is-referenced-by-count":15,"title":["The Peps Software Tool"],"prefix":"10.1007","author":[{"given":"Anne","family":"Benoit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Brenner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo","family":"Fernandes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brigitte","family":"Plateau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William J.","family":"Stewart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M. Ajmone-Marsan","year":"1995","unstructured":"Ajmone-Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. John-Wiley, New York (1995)"},{"issue":"10","key":"7_CR2","doi-asserted-by":"publisher","first-page":"1093","DOI":"10.1109\/32.99196","volume":"17","author":"K. Atif","year":"1991","unstructured":"Atif, K., Plateau, B.: Stochatic Automata Networks for Modeling Parallel Systems. IEEE Transactions on Software Engineering\u00a017(10), 1093\u20131108 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR3","unstructured":"Benoit, A., Plateau, B., Stewart, W.J.: Memory-efficient Kronecker algorithms with applications to the modelling of parallel systems. To appear in PMEOPDS 2003 (2003)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Ciardo, G.F., Miner, A.S.: A Data Structure for the Efficient Kronecker Solution of GSPNs. In: Proc. 8th International Workshop on Petri Nets and Performance Evaluation (1999)","DOI":"10.1109\/PNPM.1999.796529"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0166-5316(93)90025-P","volume":"18","author":"S. Donnatelli","year":"1993","unstructured":"Donnatelli, S.: Superposed Stochastic Automata: a Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space. Performance Evaluation\u00a018, 21\u201336 (1993)","journal-title":"Performance Evaluation"},{"key":"7_CR6","unstructured":"Fernandes, P.: M\u00e9thodes Num\u00e9riques pour la Solution de Syst\u00e8mes Markoviens \u00e0 Grand Espace d\u2019Etats. Th\u00e8se de doctorat, Institut National Polytechnique de Grenoble, France (1998)"},{"issue":"3","key":"7_CR7","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/278298.278303","volume":"45","author":"P. Fernandes","year":"1998","unstructured":"Fernandes, P., Plateau, B., Stewart, W.J.: Efficient Descriptor-Vector Multiplication in Stochastic Automata Networks. Journal of the ACM\u00a045(3), 381\u2013414 (1998)","journal-title":"Journal of the ACM"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1016\/0743-7315(91)90007-V","volume":"12","author":"J. Fourneau","year":"1991","unstructured":"Fourneau, J., Plateau, B.: A Methodology for Solving Markov Models of Parallel Systems. Journal of Parallel and Distributed Computing\u00a012, 370\u2013387 (1991)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"7_CR9","volume-title":"Introduction to Queueing Networks","author":"E. Gelenbe","year":"1997","unstructured":"Gelenbe, E., Pujolle, G.: Introduction to Queueing Networks. John Wiley, Chichester (1997)"},{"key":"7_CR10","unstructured":"Hillston, J.: A Compositional Approach for Performance Modelling. Ph.D. Thesis, University of Edinburg, United Kingdom (1994)"},{"issue":"2","key":"7_CR11","first-page":"9","volume":"1","author":"J.K. Muppala","year":"1994","unstructured":"Muppala, J.K., Ciardo, G.F., Trivedi, K.S.: Stochastic Reward Nets for Reliability Prediction. Communications in Reliability, Maintainability and Serviceability\u00a01(2), 9\u201320 (1994)","journal-title":"Communications in Reliability, Maintainability and Serviceability"},{"key":"7_CR12","unstructured":"Plateau, B.: De l\u2019Evaluation du Parell\u00e9lisme et de la Synchronisation. Th\u00e8se de Doctorat d\u2019Etat, Paris-Sud, Orsay, France (1984)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Plateau, B.: On the Stochastic Structure of Parallelism and Synchronization Models for Distributed Algorithms. In: Proc. ACM Sigmetrics Conference on Measurement and Modeling of Computer Systems, Austin, Texas (1985)","DOI":"10.1145\/317795.317819"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Plateau, B., Fourneau, J.M., Lee, K.: PEPS: A Package for Solving Complex Markov Models of Parallel Systems. In: Puigjaner, R., Potier, D. (eds.) Modelling Techniques and Tools for Computer Performance Evaluation (1988)","DOI":"10.1007\/978-1-4613-0533-0_19"},{"key":"7_CR15","unstructured":"Peps team. Peps, Software Tool. On-line document (2003), available at http:\/\/www-apache.imag.fr\/software\/peps (visited February 14, 2003)"},{"key":"7_CR16","unstructured":"Saad, Y.: Iterative Methods for Sparse Linear Systems. PWS Publishing Company (1995)"},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-3-7091-9123-1_10","volume":"4","author":"W.H. Sanders","year":"1991","unstructured":"Sanders, W.H., Meyer, J.F.: An Unified Approach for Specifying Measures of Performance, Dependability, and Performability. Dependable Computing for Critical Applications\u00a04, 215\u2013238 (1991)","journal-title":"Dependable Computing for Critical Applications"},{"key":"7_CR18","unstructured":"Stewart, W.J.: Marca: Markov Chain Analyzer. IEEE Computer Repository No. R76 232 (1976)"},{"key":"7_CR19","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1994)"},{"key":"7_CR20","unstructured":"Sun Microsystems The JIT Compiler Interface Specification. On-line document, available at http:\/\/java.sun.com\/docs\/jit_interface.html (visited February 14, 2003)"}],"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\/978-3-540-45232-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T10:55:08Z","timestamp":1559213708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45232-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408147","9783540452324"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45232-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}