{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:13:59Z","timestamp":1725491639757},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540353621"},{"type":"electronic","value":"9783540353652"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11777830_1","type":"book-chapter","created":{"date-parts":[[2006,6,19]],"date-time":"2006-06-19T11:21:04Z","timestamp":1150716064000},"page":"1-15","source":"Crossref","is-referenced-by-count":5,"title":["A Precedence PEPA Model for Performance and Reliability Analysis"],"prefix":"10.1007","author":[{"given":"Jean-Michel","family":"Fourneau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Le\u00efla","family":"Kloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Synchronization and Linearity, an algebra for Discrete Event Systems","author":"F. Baccelli","year":"1992","unstructured":"Baccelli, F., Cohen, G., Olsder, G.J., Quadrat, J.P.: Synchronization and Linearity, an algebra for Discrete Event Systems. Wiley & Sons, Chichester (1992)"},{"issue":"2","key":"1_CR2","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1145\/77600.77622","volume":"37","author":"F. Baccelli","year":"1990","unstructured":"Baccelli, F., Liu, Z.: On the executions of parallel programs on multiprocessor systems - a queueing theory approach. JACM\u00a037(2), 373\u2013414 (1990)","journal-title":"JACM"},{"key":"1_CR3","unstructured":"Baccelli, F., Liu, Z.: Comparison properties of stochastic decision free Petri nets, Inria Report 1433 (1991)"},{"key":"1_CR4","unstructured":"Barlow, R.E., Proschan, F.: Statistical Theory of Reliability and Life Testing (1981)"},{"key":"1_CR5","unstructured":"Ben Mamoun, M., Busic, A., Fourneau, J.M., Pekergin, N.: Increasing Convex Monotone Markov Chains: Theory, Algorithm and Applications (submitted)"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0166-5316(03)00044-0","volume":"54","author":"A. Bobbio","year":"2003","unstructured":"Bobbio, A., Horvath, A., Scarpa, M., Telek, M.: Acyclic Discrete Phase type distributions; properties and a parameter estimation algorithm. Performance evaluation\u00a054, 1\u201332 (2003)","journal-title":"Performance evaluation"},{"key":"1_CR7","unstructured":"Bradley, J.T., Dingle, N., Gilmore, S.T., Knottenbelt, W.J.: Extracting Passage Time form PEPA models with the Hydra tool: a case study. In: UKPEW 2003 (2003)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/3-540-45798-4_4","volume-title":"Performance Evaluation of Complex Systems: Techniques and Tools","author":"J.M. Fourneau","year":"2002","unstructured":"Fourneau, J.M., Pekergin, N.: An algorithmic approach to stochastic bounds. In: Calzarossa, M.C., Tucci, S. (eds.) Performance 2002. LNCS, vol.\u00a02459, pp. 64\u201388. Springer, Heidelberg (2002)"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0166-5316(03)00069-5","volume":"54","author":"S. Gilmore","year":"2003","unstructured":"Gilmore, S., Hillston, J., Kloul, L., Ribaudo, M.: PEPA nets: A structured performance modelling formalism. Performance Evaluation\u00a054, 79\u2013104 (2003)","journal-title":"Performance Evaluation"},{"key":"1_CR10","unstructured":"Hillston, J.: A compositional Approach to Performance Modelling, PhD Thesis, The University of Edinburgh (1994)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/3-540-44804-7_8","volume-title":"Process Algebra and Probabilistic Methods. Performance Modelling and Verification","author":"J. Hillston","year":"2001","unstructured":"Hillston, J., Kloul, L.: An Efficient Kronecker Representation for PEPA Models. In: de Luca, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol.\u00a02165, pp. 120\u2013135. Springer, Heidelberg (2001)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Pekergin, N.: Stochastic delay bounds on fair queueing algorithms. In: Proceedings of INFOCOM 1999, New York, pp. 1212\u20131220 (1999)","DOI":"10.1109\/INFCOM.1999.751678"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Pekergin, N., Vincent, J.M.: Stochastic Bounds on Execution Times of Parallel Programs. IEEE Transactions on Software Engineering\u00a017(17) (October 1991)","DOI":"10.1109\/32.99189"},{"key":"1_CR14","volume-title":"Comparison Methods for Queues and Other Stochastic Models","author":"D. Stoyan","year":"1983","unstructured":"Stoyan, D.: Comparison Methods for Queues and Other Stochastic Models. Wiley & Sons, New York (1983)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Stochastic Models for Performance Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11777830_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:15:37Z","timestamp":1619493337000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11777830_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540353621","9783540353652"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11777830_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}