{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:33Z","timestamp":1725664653362},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613633"},{"type":"electronic","value":"9783540685050"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61363-3_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:35:05Z","timestamp":1330274105000},"page":"192-211","source":"Crossref","is-referenced-by-count":6,"title":["Asynchronous composition of high level Petri Nets: A quantitative approach"],"prefix":"10.1007","author":[{"given":"Serge","family":"Haddad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrice","family":"Moreaux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"11_CR1","first-page":"106","volume-title":"Hierarchies in colored GSPNs","author":"P. Buchholz","year":"1993","unstructured":"P. Buchholz. Hierarchies in colored GSPNs. In Proc. of the 14th International Conference on Application and Theory of Petri Nets, number 691 in LNCS, pages 106\u2013125, Chicago, Illinois, USA, June 1993. Springer-Verlag."},{"key":"11_CR2","first-page":"216","volume-title":"Aggregation and reduction techniques for hierarchical GCSPN","author":"P. Buchholz","year":"1993","unstructured":"P. Buchholz. Aggregation and reduction techniques for hierarchical GCSPN. In Proc. of the 5th International Workshop on Petri Nets and Performance Models, pages 216\u2013225, Toulouse, France, October 19\u201322 1993. IEEE Computer Society Press."},{"issue":"11","key":"11_CR3","doi-asserted-by":"crossref","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G. Chiola","year":"1993","unstructured":"G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed colored nets and symetrie modeling applications. IEEE Transactions on Computers, 42(11):1343\u20131360, November 1993.","journal-title":"IEEE Transactions on Computers"},{"issue":"1&2","key":"11_CR4","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0166-5316(95)00008-L","volume":"24","author":"G. Chiola","year":"1995","unstructured":"G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. Greatspn 1.7: graphical editor and analyzer for timed and stochastic Petri nets. Performance Evaluation, 24(1&2):47\u201368, 1995.","journal-title":"Performance Evaluation"},{"issue":"2","key":"11_CR5","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/TC.1981.6312174","volume":"30","author":"M. Davio","year":"1981","unstructured":"M. Davio. Kronecker products and shuffle algebra. IEEE Transactions on Computers, 30 (2):116\u2013125, 1981.","journal-title":"IEEE Transactions on Computers"},{"key":"11_CR6","first-page":"258","volume-title":"number 815 in LNCS","author":"S. Donatelli","year":"1994","unstructured":"S. Donatelli. Superposed generalized stochastic Petri nets: definition and efficient solution. In Robert Valette, editor, Proc. of the 15th International Conference on Application and Theory of Petri Nets, number 815 in LNCS, pages 258\u2013277, Zaragoza, Spain, June 20\u201324 1994. Springer-Verlag."},{"key":"11_CR7","volume-title":"Th\u00e8se","author":"C. Dutheillet","year":"1991","unstructured":"C. Dutheillet. Sym\u00e9tries dans les r\u00e9seaux color\u00e9s. D\u00e9finition, analyse et application \u00e0 l'\u00e9valuation de performance. Th\u00e8se, Universit\u00e9 Paris VI, Paris, France, January 28 1991."},{"key":"11_CR8","unstructured":"S. Haddad and P. Moreaux. Asynchronous composition of stochastic high level Petri nets. Research report, LAMSADE, Universit\u00e9 Paris Dauphine (to appear)."},{"key":"11_CR9","first-page":"11","volume-title":"Evaluation of high level Petri nets by means of aggregation and decomposition","author":"S. Haddad","year":"1995","unstructured":"S. Haddad and P. Moreaux. Evaluation of high level Petri nets by means of aggregation and decomposition. In Proc. of the 6th International Workshop on Petri Nets and Performance Models, pages 11\u201320, Durham, NC, USA, October 3\u20136 1995. IEEE Computer Society Press."},{"key":"11_CR10","volume-title":"Finite Markov Chains","author":"J. G. Kemeny","year":"1960","unstructured":"J. G. Kemeny and J. L. Snell. Finite Markov Chains. V. Nostrand, Princeton, NJ, 1960."},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1016\/0743-7315(91)90007-V","volume":"12","author":"B. Plateau","year":"1991","unstructured":"B. Plateau and J.M. Fourneau. A methodology for solving Markov models of parallel systems. Journal of parallel and distributed computing, 12:370\u2013387, 1991.","journal-title":"Journal of parallel and distributed computing"},{"key":"11_CR12","doi-asserted-by":"crossref","first-page":"856","DOI":"10.1137\/0907058","volume":"7","author":"Y. Saad","year":"1986","unstructured":"Y. Saad and M. H. Schultz. Gmres: A generalized minimal residual algorithm for solving nonsymetric linear systems. SIAM J. Sci. Stat. Comput., 7:856\u2013869, 1986.","journal-title":"SIAM J. Sci. Stat. Comput."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1996"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61363-3_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:31:39Z","timestamp":1619559099000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61363-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613633","9783540685050"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-61363-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}