{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T08:01:52Z","timestamp":1761292912383},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,5,3]],"date-time":"2012-05-03T00:00:00Z","timestamp":1336003200000},"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":[[2013,6]]},"DOI":"10.1007\/s10626-012-0138-y","type":"journal-article","created":{"date-parts":[[2012,5,2]],"date-time":"2012-05-02T00:57:34Z","timestamp":1335920254000},"page":"135-155","source":"Crossref","is-referenced-by-count":3,"title":["Methods for the estimation of the size of lookahead tree state-space"],"prefix":"10.1007","volume":"23","author":[{"given":"Creag","family":"Winacott","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behnam","family":"Behinaein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karen","family":"Rudie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,5,3]]},"reference":[{"key":"138_CR1","doi-asserted-by":"crossref","unstructured":"Auer A, Dingel J, Rudie K (2009) Concurrency control generation for dynamic threads using discrete-event systems. In: Forty-seventh annual Allerton conference, Monticello, Illinois, USA, 30 Sept\u20132 Oct, pp 927\u2013934","DOI":"10.1109\/ALLERTON.2009.5394896"},{"key":"138_CR2","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/3-540-61363-3_4","volume":"1091","author":"K Barkaoui","year":"1996","unstructured":"Barkaoui K, Pradat-Peyre JF (1996) On liveness and controlled siphons in Petri nets. Lect Notes Comput Sci 1091:57\u201372","journal-title":"Lect Notes Comput Sci"},{"key":"138_CR3","doi-asserted-by":"crossref","unstructured":"Brunsch T, Rudie K (2008) Discrete-event systems model of an outbreak response. In: American control conference, Seattle, Washington, USA, 11\u201313 June, pp 1709\u20131714","DOI":"10.1109\/ACC.2008.4586738"},{"key":"138_CR4","doi-asserted-by":"crossref","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer Publishers","DOI":"10.1007\/978-0-387-68612-7"},{"issue":"12","key":"138_CR5","doi-asserted-by":"crossref","first-page":"1921","DOI":"10.1109\/9.182478","volume":"37","author":"SL Chung","year":"1992","unstructured":"Chung SL, Lafortune S, Lin F (1992) Limited lookahead policies in supervisory control of discrete event systems. IEEE Trans Automat Control 37(12):1921\u20131935","journal-title":"IEEE Trans Automat Control"},{"issue":"1","key":"138_CR6","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF01439177","volume":"1","author":"SL Chung","year":"1993","unstructured":"Chung SL, Lafortune S, Lin F (1993) Recursive computation of limited lookahead supervisory controls for discrete event systems. Discrete Event Dyn Syst: Theory Appl 1(1):71\u2013100","journal-title":"Discrete Event Dyn Syst: Theory Appl"},{"issue":"3","key":"138_CR7","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BF01438709","volume":"4","author":"SL Chung","year":"1994","unstructured":"Chung SL, Lafortune S, Lin F (1994) Supervisory control using variable lookahead policies. Discrete Event Dyn Syst: Theory Appl 4(3):237\u2013268","journal-title":"Discrete Event Dyn Syst: Theory Appl"},{"key":"138_CR8","volume-title":"Introduction to algorithms","author":"TH Cormen","year":"2001","unstructured":"Cormen TH, Leiserson CE, Rivest RL, Stein C (2001) Introduction to algorithms, 2nd edn. MIT Press, Cambridge, MA","edition":"2"},{"key":"138_CR9","volume-title":"Linear algebra","author":"SH Friedberg","year":"2003","unstructured":"Friedberg SH, Insel AJ, Spence LE (2003) Linear algebra. Prentice Hall, Englewood Cliffs, NJ"},{"key":"138_CR10","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/978-3-540-85780-8_27","volume":"5257","author":"P Gawrychowski","year":"2008","unstructured":"Gawrychowski P, Krieger D, Rampersad N, Shallit J (2008) Finding the growth rate of a regular or context-free language in polynomial time. Lect Notes Comput Sci 5257:339\u2013358","journal-title":"Lect Notes Comput Sci"},{"issue":"4","key":"138_CR11","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/s10626-006-0020-x","volume":"16","author":"L Grigorov","year":"2006","unstructured":"Grigorov L, Rudie K (2006) Near-optimal online control of dynamic discrete-event systems. Discrete Event Dyn Syst 16(4):419\u2013449","journal-title":"Discrete Event Dyn Syst"},{"key":"138_CR12","volume-title":"The SPIN model checker: primer and reference manual","author":"GJ Holzmann","year":"2011","unstructured":"Holzmann GJ (2011) The SPIN model checker: primer and reference manual. Addison-Wesley, Reading, MA"},{"key":"138_CR13","unstructured":"Java Pathfinder (2011) NASA Ames Research Center. http:\/\/babelfish.arc.nasa.gov\/trac\/jpf . Accessed on 24 Oct 2011"},{"issue":"11","key":"138_CR14","doi-asserted-by":"crossref","first-page":"1327","DOI":"10.1016\/S0005-1098(98)00077-6","volume":"34","author":"R Kumar","year":"1998","unstructured":"Kumar R, Cheung HM, Marcus SI (1998) Extension based limited lookahed supervision of discrete event systems. Automatica 34(11):1327\u20131344","journal-title":"Automatica"},{"key":"138_CR15","doi-asserted-by":"crossref","unstructured":"Meyer C (2000) Matrix analysis and applied linear algebra. SIAM, Philadelphia, PA","DOI":"10.1137\/1.9780898719512"},{"issue":"1","key":"138_CR16","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206\u2013230","journal-title":"SIAM J Control Optim"},{"key":"138_CR17","volume-title":"Discrete mathematics and its applications","author":"KH Rosen","year":"2007","unstructured":"Rosen KH (2007) Discrete mathematics and its applications, 6th edn. McGraw-Hill, New York","edition":"6"},{"key":"138_CR18","doi-asserted-by":"crossref","unstructured":"Rudie K (2006) The integrated discrete-event systems tool. In: Proceedings of the 8th international Workshop on Discrete Event Systems (WODES), Ann Arbor, MI, 10\u201312 July 2006, pp 394\u2013395","DOI":"10.1109\/WODES.2006.382403"},{"key":"138_CR19","first-page":"57","volume":"1091","author":"J Shallit","year":"2008","unstructured":"Shallit J (2008) The Frobenius problem and its generalizations. Lect Notes Comput Sci 1091:57\u201372","journal-title":"Lect Notes Comput Sci"},{"key":"138_CR20","unstructured":"Whittaker S-J, Rudie K, McLellan J, Haar S (2009) Choice-point nets: a discrete-event modelling technique for analyzing health care protocols. In: Forty-seventh annual Allerton conference, Monticello, Illinois, USA, 30 Sept\u20132 Oct 2009, pp\u00a0652\u2013659"},{"key":"138_CR21","unstructured":"Whittaker S-J, Rudie K, McLellan J, Haar S (2010) Augmenting Petri nets to model health-care protocols. In: Proceedings of the international workshop on discrete event systems (WODES), Berlin, 30 Aug\u20131 Sept 2010, pp\u00a0341\u2013346"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0138-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-012-0138-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0138-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,28]],"date-time":"2019-06-28T00:34:29Z","timestamp":1561682069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-012-0138-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,3]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["138"],"URL":"https:\/\/doi.org\/10.1007\/s10626-012-0138-y","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,3]]}}}