{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,25]],"date-time":"2024-02-25T02:10:21Z","timestamp":1708827021691},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,4,16]],"date-time":"2008-04-16T00:00:00Z","timestamp":1208304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1007\/s10626-008-0041-8","type":"journal-article","created":{"date-parts":[[2008,4,15]],"date-time":"2008-04-15T12:01:02Z","timestamp":1208260862000},"page":"473-498","source":"Crossref","is-referenced-by-count":3,"title":["Backward Coupling in Bounded Free-Choice Nets Under Markovian and Non-Markovian Assumptions"],"prefix":"10.1007","volume":"18","author":[{"given":"Anne","family":"Bouillard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Gaujal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,4,16]]},"reference":[{"key":"41_CR1","doi-asserted-by":"crossref","unstructured":"Baccelli F, Foss S, Mairesse J (1996) Stationary ergodic jackson networks: results and counter-examples. Stochastic networks, Oxford Univ. Press, pp 281\u2013307","DOI":"10.1093\/oso\/9780198523994.003.0017"},{"key":"41_CR2","unstructured":"Baccelli F, Gohen G, Olsder G, Quadrat, J-P (1992) Synchronization and linearity. Wiley"},{"key":"41_CR3","doi-asserted-by":"crossref","unstructured":"Baccelli F, Jean-Marie A, Mitrani I (eds) (1995) Quantitative methods in parallel systems. Basic Research Series. Springer","DOI":"10.1007\/978-3-642-79917-4"},{"key":"41_CR4","unstructured":"Baccelli F, Mairesse J (1998) Idempotency. Chapter ergodic theory of stochastic operators and discrete event networks. Publications of the Isaac Newton Institute. Cambridge Univ. Press, pp 171\u2013208"},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"Bouillard A, Gaujal B (2001) Coupling time of a (max,plus) matrix. In: Workshop on Max-Plus algebras and their applications to discrete-event systems. Theoretical Computer Science, and Optimization, Prague. IFAC","DOI":"10.1016\/S1474-6670(17)39110-3"},{"key":"41_CR6","doi-asserted-by":"crossref","unstructured":"Bouillard A, Gaujal B (2006) Backward coupling in petri nets. In: Valuetools, Pisa, Italy","DOI":"10.1145\/1190095.1190137"},{"key":"41_CR7","doi-asserted-by":"crossref","unstructured":"Desel J, Esparza J (1995) Free choice Petri nets. Cambridge Tracts in Theorical Computer Science","DOI":"10.1017\/CBO9780511526558"},{"key":"41_CR8","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1017\/S0269964800005209","volume":"12","author":"S Foss","year":"1998","unstructured":"Foss S, Tweedy R, Corcoran J (1998) Simulating the invariant measures of markov chains using backward coupling at regeneration time. Prob Eng Inf Sci 12:303\u2013320","journal-title":"Prob Eng Inf Sci"},{"issue":"4","key":"41_CR9","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1109\/9.754807","volume":"44","author":"S Gaubert","year":"1999","unstructured":"Gaubert S, Mairesse J (1999) Modeling and analysis of timed Petri nets using heaps of pieces. IEEE Trans Autom Control 44(4):683\u2013697","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"41_CR10","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1016\/S0022-0000(03)00039-4","volume":"66","author":"B Gaujal","year":"2003","unstructured":"Gaujal B, Haar S, Mairesse J (2003) Blocking a transition in a free choice net, and what it tells about its throughput. J Comput Syst Sci 66(3):515\u2013548","journal-title":"J Comput Syst Sci"},{"key":"41_CR11","doi-asserted-by":"crossref","unstructured":"H\u00e4ggstr\u00f6m O (2002) Finite Markov chains and Algorithmic Applications, vol\u00a052 of Student texts. Cambridge Univ. Press","DOI":"10.1017\/CBO9780511613586"},{"issue":"2","key":"41_CR12","doi-asserted-by":"crossref","first-page":"444","DOI":"10.2307\/1428012","volume":"29","author":"J Mairesse","year":"1997","unstructured":"Mairesse J (1997) Products of irreducible random matrices in the (max,+) algebra. Adv Appl Prob 29(2):444\u2013477","journal-title":"Adv Appl Prob"},{"issue":"1","key":"41_CR13","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1002\/(SICI)1098-2418(199608\/09)9:1\/2<223::AID-RSA14>3.0.CO;2-O","volume":"9","author":"D Propp","year":"1996","unstructured":"Propp D, Wilson J (1996) Exact sampling with coupled Markov chains and application to statistical mechanics. Random Struct Algorithms 9(1):223\u2013252","journal-title":"Random Struct Algorithms"},{"key":"41_CR14","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/j.laa.2004.02.023","volume":"386","author":"J-M Vincent","year":"2004","unstructured":"Vincent J-M, Marchand C (2004) On the exact simulation of functionals of stationary Markov chains. Linear Algebra Appl 386:285\u2013310","journal-title":"Linear Algebra Appl"},{"key":"41_CR15","unstructured":"Walker A (1974) An efficient method for generating random variables with general distributions. ACM Trans Math Softw 253\u2013256"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-008-0041-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-008-0041-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-008-0041-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,25]],"date-time":"2024-02-25T01:55:47Z","timestamp":1708826147000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-008-0041-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4,16]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["41"],"URL":"https:\/\/doi.org\/10.1007\/s10626-008-0041-8","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,4,16]]}}}