{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:42:52Z","timestamp":1725532972088},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642022043"},{"type":"electronic","value":"9783642022050"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02205-0_20","type":"book-chapter","created":{"date-parts":[[2009,6,8]],"date-time":"2009-06-08T06:37:08Z","timestamp":1244443028000},"page":"279-293","source":"Crossref","is-referenced-by-count":12,"title":["Stochastic Automata Networks with Master\/Slave Synchronization: Product Form and Tensor"],"prefix":"10.1007","author":[{"given":"Thu Ha","family":"Dao Thi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean Michel","family":"Fourneau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"20_CR1","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1109\/32.297942","volume":"20","author":"R. Boucherie","year":"1994","unstructured":"Boucherie, R.: A Characterization of independence for competing Markov chains with applications to stochastic Petri nets. IEEE Trans. Software Eng.\u00a020(7), 536\u2013544 (1994)","journal-title":"IEEE Trans. Software Eng."},{"issue":"4","key":"20_CR2","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/s00607-004-0074-2","volume":"73","author":"P. Buchholz","year":"2004","unstructured":"Buchholz, P., Dayar, T.: Comparison of Multilevel Methods for Kronecker-based Markovian Representations. Computing Journal\u00a073(4), 349\u2013371 (2004)","journal-title":"Computing Journal"},{"key":"20_CR3","first-page":"581","volume":"23","author":"T. Dayar","year":"2002","unstructured":"Dayar, T., Gusak, O., Fourneau, J.M.: Stochastic Automata Networks and Near Complete Decomposability. SIAM Journal on Matrix Analysis and Applications\u00a023, 581\u2013599 (2002)","journal-title":"SIAM Journal on Matrix Analysis and Applications"},{"issue":"4","key":"20_CR4","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/s10626-008-0048-1","volume":"18","author":"T.-H. Dao-Thi","year":"2008","unstructured":"Dao-Thi, T.-H., Mairesse, J.: Zero-Automatic Networks. Discrete Event Dynamic Systems\u00a018(4), 499\u2013536 (2008)","journal-title":"Discrete Event Dynamic Systems"},{"key":"20_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":"20_CR6","doi-asserted-by":"crossref","unstructured":"Fernandes, P., Plateau, B., Stewart, W.J.: Efficient Descriptor-Vector Multiplications in Stochastic Automata Networks. In: JACM, pp. 381\u2013414 (1998)","DOI":"10.1145\/278298.278303"},{"key":"20_CR7","first-page":"28","volume":"95","author":"J.M. Fourneau","year":"1995","unstructured":"Fourneau, J.M., Kloul, L., Quessette, F.: Multiple class G-networks with jumps back to Zero. IEEE Mascots\u00a095, 28\u201332 (1995)","journal-title":"IEEE Mascots"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Fourneau, J.M., Plateau, B., Stewart, W.: Product form for Stochastic Automata Networks. In: Proc. of ValueTools 2007, Nantes, France (2007)","DOI":"10.4108\/valuetools.2007.1980"},{"issue":"11-12","key":"20_CR9","doi-asserted-by":"publisher","first-page":"854","DOI":"10.1016\/j.peva.2008.04.007","volume":"65","author":"J.M. Fourneau","year":"2008","unstructured":"Fourneau, J.M., Plateau, B., Stewart, W.: An Algebraic Condition for Product Form in Stochastic Automata Networks without Synchronizations. Performance Evaluation\u00a065(11-12), 854\u2013868 (2008)","journal-title":"Performance Evaluation"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Fourneau, J.M.: Discrete Time Markov chains competing over resources: product form steady-state distribution. In: IEEE QEST 2008, pp. 147-156 (2008)","DOI":"10.1109\/QEST.2008.31"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-540-87412-6_9","volume-title":"Computer Performance Engineering","author":"J.-M. Fourneau","year":"2008","unstructured":"Fourneau, J.-M.: Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations. In: Thomas, N., Juiz, C. (eds.) EPEW 2008. LNCS, vol.\u00a05261, pp. 110\u2013124. Springer, Heidelberg (2008)"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"656","DOI":"10.1017\/S0021900200042492","volume":"28","author":"E. Gelenbe","year":"1991","unstructured":"Gelenbe, E.: Product form queueing networks with negative and positive customers. Journal of Applied Probability\u00a028, 656\u2013663 (1991)","journal-title":"Journal of Applied Probability"},{"key":"20_CR13","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1017\/S0269964800002953","volume":"7","author":"E. Gelenbe","year":"1993","unstructured":"Gelenbe, E.: G-Networks with signals and batch removal. Probability in the Engineering and Informational Sciences\u00a07, 335\u2013342 (1993)","journal-title":"Probability in the Engineering and Informational Sciences"},{"issue":"1\/4","key":"20_CR14","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0166-5316(02)00127-X","volume":"49","author":"E. Gelenbe","year":"2002","unstructured":"Gelenbe, E., Fourneau, J.M.: G-networks with resets. Performance Evaluation\u00a049(1\/4), 179\u2013191 (2002)","journal-title":"Performance Evaluation"},{"issue":"7","key":"20_CR15","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1093\/comjnl\/38.7.510","volume":"38","author":"P.G. Harrison","year":"1995","unstructured":"Harrison, P.G., Hillston, J.: Exploiting Quasi-reversible Structures in Markovian Process Algebra Models. Computer Journal\u00a038(7), 510\u2013520 (1995)","journal-title":"Computer Journal"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"1947","DOI":"10.1016\/S0304-3975(02)00375-4","volume":"290","author":"P.G. Harrison","year":"2003","unstructured":"Harrison, P.G.: Turning back time in Markovian process algebra. Theoretical Computer Science\u00a0290, 1947\u20131986 (2003)","journal-title":"Theoretical Computer Science"},{"key":"20_CR17","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/j.laa.2004.02.020","volume":"386","author":"P.G. Harrison","year":"2004","unstructured":"Harrison, P.G.: Reversed processes, product forms and a non-product form. Journal of Linear Algebra and Applications\u00a0386, 359\u2013381 (2004)","journal-title":"Journal of Linear Algebra and Applications"},{"key":"20_CR18","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/j.peva.2004.02.002","volume":"57","author":"P.G. Harrison","year":"2004","unstructured":"Harrison, P.G.: Compositional reversed markov processes with applications to G-networks. Performance Evaluation\u00a057, 379\u2013408 (2004)","journal-title":"Performance Evaluation"},{"issue":"3-4","key":"20_CR19","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0166-5316(99)00005-X","volume":"35","author":"J. Hillston","year":"1999","unstructured":"Hillston, J., Thomas, N.: Product Form Solution for a Class of PEPA Models. Performance Evaluation\u00a035(3-4), 171\u2013192 (1999)","journal-title":"Performance Evaluation"},{"key":"20_CR20","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":"L. Kloul","year":"2001","unstructured":"Kloul, L., Hillston, J.: 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, p. 120. Springer, Heidelberg (2001)"},{"key":"20_CR21","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 (August 1985)","DOI":"10.1145\/317795.317819"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Plateau, B., Fourneau, J.M., Lee, K.H.: PEPS: A Package for Solving Complex Markov Models of Parallel Systems. In: Proceedings of the 4th Int. Conf. on Modeling Techniques and Tools for Computer Performance Evaluation, Majorca (1988)","DOI":"10.1007\/978-1-4613-0533-0_19"},{"issue":"3","key":"20_CR23","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0377-2217(94)00075-N","volume":"86","author":"W.J. Stewart","year":"1995","unstructured":"Stewart, W.J., Atif, K., Plateau, B.: The numerical solution of Stochastic Automata Networks. European Journal of Operation Research\u00a086(3), 503\u2013525 (1995)","journal-title":"European Journal of Operation Research"}],"container-title":["Lecture Notes in Computer Science","Analytical and Stochastic Modeling Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02205-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T19:34:31Z","timestamp":1558380871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02205-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642022043","9783642022050"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02205-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}