{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:04:11Z","timestamp":1774915451322,"version":"3.50.1"},"reference-count":29,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":3766,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[2003,5]]},"DOI":"10.1016\/s0022-0000(03)00039-4","type":"journal-article","created":{"date-parts":[[2003,5,19]],"date-time":"2003-05-19T18:04:16Z","timestamp":1053367456000},"page":"515-548","source":"Crossref","is-referenced-by-count":13,"title":["Blocking a transition in a free choice net and what it tells about its throughput"],"prefix":"10.1016","volume":"66","author":[{"given":"Bruno","family":"Gaujal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Haar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"Mairesse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0022-0000(03)00039-4_BIB1","unstructured":"M. Ajmone-Marsan, G. Balbo, S. Donatelli, G. Franceschinis, G. Conte, Modelling with Generalized Stochastic Petri Nets, Wiley Series in Parallel Computing, Wiley, New York, 1995."},{"issue":"1","key":"10.1016\/S0022-0000(03)00039-4_BIB2","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1214\/aop\/1176989932","article-title":"Ergodic theory of stochastic Petri networks","volume":"20","author":"Baccelli","year":"1992","journal-title":"Ann. Probab."},{"issue":"4","key":"10.1016\/S0022-0000(03)00039-4_BIB3","first-page":"415","article-title":"Recursive equations and basic properties of timed Petri nets","volume":"1","author":"Baccelli","year":"1992","journal-title":"J. Discrete Event Dyn. Systems"},{"key":"10.1016\/S0022-0000(03)00039-4_BIB4","series-title":"Synchronization and Linearity","author":"Baccelli","year":"1992"},{"key":"10.1016\/S0022-0000(03)00039-4_BIB5","first-page":"5","article-title":"Ergodicity of Jackson-type queueing networks","volume":"17","author":"Baccelli","year":"1994","journal-title":"QUESTA"},{"issue":"2","key":"10.1016\/S0022-0000(03)00039-4_BIB6","doi-asserted-by":"crossref","first-page":"494","DOI":"10.2307\/3215303","article-title":"On the saturation rule for the stability of queues","volume":"32","author":"Baccelli","year":"1995","journal-title":"J. Appl. Probab."},{"issue":"12","key":"10.1016\/S0022-0000(03)00039-4_BIB7","doi-asserted-by":"crossref","first-page":"1751","DOI":"10.1109\/9.545714","article-title":"Free choice Petri nets\u2014an algebraic approach","volume":"4","author":"Baccelli","year":"1996","journal-title":"IEEE Trans. Automat. Control"},{"key":"10.1016\/S0022-0000(03)00039-4_BIB8","series-title":"Stochastic Networks: Theory and Applications","first-page":"281","article-title":"Stationary ergodic Jackson networks: results and counter-examples","author":"Baccelli","year":"1996"},{"key":"10.1016\/S0022-0000(03)00039-4_BIB9","unstructured":"F. Baccelli, S. Foss, J. Mairesse, Closed Jackson networks under stationary and ergodic assumptions, unpublished manuscript, 2001."},{"key":"10.1016\/S0022-0000(03)00039-4_BIB10","doi-asserted-by":"crossref","unstructured":"F. Baccelli, J. Mairesse, Ergodic theory of stochastic operators and discrete event networks, in: J. Gunawardena (Ed.), Idempotency, Vol. 11, Cambridge University Press, Cambridge, 1998, pp. 171\u2013208.","DOI":"10.1017\/CBO9780511662508.011"},{"key":"10.1016\/S0022-0000(03)00039-4_BIB11","doi-asserted-by":"crossref","first-page":"979","DOI":"10.2307\/3214729","article-title":"On closed ring queueing networks","volume":"29","author":"Bambos","year":"1992","journal-title":"J. Appl. Probab."},{"key":"10.1016\/S0022-0000(03)00039-4_BIB12","series-title":"Stochastic Petri Nets","author":"Bause","year":"1996"},{"key":"10.1016\/S0022-0000(03)00039-4_BIB13","doi-asserted-by":"crossref","unstructured":"A. Berman, R. Plemmons, Nonnegative matrices in the mathematical sciences, Computer Science and Applied Mathematics, Academic Press, New York, 1979.","DOI":"10.1016\/B978-0-12-092250-5.50011-4"},{"key":"10.1016\/S0022-0000(03)00039-4_BIB14","unstructured":"T. Bonald, Stabilit\u00e9 des syst\u00e8mes dynamiques \u00e0 \u00e9v\u00e9nements discrets, Application au contr\u00f4le de flux dans les r\u00e9seaux de t\u00e9l\u00e9communication, Ph.D. Thesis, \u00c9cole Polytechnique, 1999."},{"key":"10.1016\/S0022-0000(03)00039-4_BIB15","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1137\/1131056","article-title":"Limit theorems for queueing networks. I","volume":"31","author":"Borovkov","year":"1986","journal-title":"Theory Probab. Appl."},{"key":"10.1016\/S0022-0000(03)00039-4_BIB16","doi-asserted-by":"crossref","unstructured":"G. Cohen, S. Gaubert, J.-P. Quadrat, Asymptotic throughput of continuous timed Petri nets, Proceedings of the 34th Conference on Decision and Control in New-Orleans, IEEE, 1995, pp. 2029\u20132034.","DOI":"10.1109\/CDC.1995.480646"},{"issue":"1","key":"10.1016\/S0022-0000(03)00039-4_BIB17","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0304-3975(93)90154-L","article-title":"Reachability in cyclic extended free-choice systems","volume":"114","author":"Desel","year":"1993","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0022-0000(03)00039-4_BIB18","article-title":"Free Choice Petri Nets","volume":"Vol. 40","author":"Desel","year":"1995"},{"key":"10.1016\/S0022-0000(03)00039-4_BIB19","series-title":"Discrete Event Systems: Analysis and Control, Proceedings of WODES","first-page":"219","article-title":"A limit semantics for timed Petri nets","author":"Gaujal","year":"2000"},{"key":"10.1016\/S0022-0000(03)00039-4_BIB20","unstructured":"S. Haar, Properties of untimed routed Petri nets, Technical Report RR-3705, INRIA Lorraine, 1999."},{"key":"10.1016\/S0022-0000(03)00039-4_BIB21","doi-asserted-by":"crossref","unstructured":"P. Haas, Stochastic Petri Nets. Modelling, Stability, Simulation, Springer Series in Operations Research, Springer, Berlin, 2002.","DOI":"10.1007\/0-387-21552-2_9"},{"key":"10.1016\/S0022-0000(03)00039-4_BIB22","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","article-title":"Parallel program schemata","volume":"3","author":"Karp","year":"1969","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0022-0000(03)00039-4_BIB23","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1080\/17442509208833777","article-title":"Regenerative closed queueing networks","volume":"39","author":"Kaspi","year":"1992","journal-title":"Stochastic Stochastic Rep."},{"issue":"1","key":"10.1016\/S0022-0000(03)00039-4_BIB24","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1287\/moor.19.1.211","article-title":"On Harris recurrence in continuous time","volume":"19","author":"Kaspi","year":"1994","journal-title":"Math. Oper. Res."},{"issue":"2","key":"10.1016\/S0022-0000(03)00039-4_BIB25","doi-asserted-by":"crossref","first-page":"444","DOI":"10.2307\/1428012","article-title":"Products of irreducible random matrices in the (max,+) algebra","volume":"29","author":"Mairesse","year":"1997","journal-title":"Adv. Appl. Probab."},{"issue":"4","key":"10.1016\/S0022-0000(03)00039-4_BIB26","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets","volume":"77","author":"Murata","year":"1989","journal-title":"Proc. IEEE"},{"key":"10.1016\/S0022-0000(03)00039-4_BIB27","unstructured":"C. Reutenauer, Aspects Math\u00e9matiques des R\u00e9seaux de Petri, Etudes et Recherches en Informatique. Masson, Paris, 1989. Also: The mathematics of Petri nets. Translated by Iain Craig. Prentice-Hall, 1990."},{"key":"10.1016\/S0022-0000(03)00039-4_BIB28","doi-asserted-by":"crossref","first-page":"678","DOI":"10.2307\/3214428","article-title":"Notes on the stability of closed queueing networks","volume":"26","author":"Sigman","year":"1989","journal-title":"J. Appl. Probab."},{"key":"10.1016\/S0022-0000(03)00039-4_BIB29","doi-asserted-by":"crossref","unstructured":"W. Willinger, Traffic modeling for high-speed networks: theory versus practice, in: F. Kelly, R. Williams (Eds.), Stochastic Networks, IMA, Vol. 71, Springer, Berlin, 1995.","DOI":"10.1007\/978-1-4757-2418-9_20"}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000003000394?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000003000394?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,20]],"date-time":"2020-03-20T01:54:52Z","timestamp":1584669292000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0022000003000394"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,5]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,5]]}},"alternative-id":["S0022000003000394"],"URL":"https:\/\/doi.org\/10.1016\/s0022-0000(03)00039-4","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[2003,5]]}}}