{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T06:56:31Z","timestamp":1773384991192,"version":"3.50.1"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,5,8]],"date-time":"2014-05-08T00:00:00Z","timestamp":1399507200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1007\/s10626-014-0189-3","type":"journal-article","created":{"date-parts":[[2014,5,7]],"date-time":"2014-05-07T05:11:06Z","timestamp":1399439466000},"page":"387-417","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Performance optimization for a class of generalized stochastic Petri nets"],"prefix":"10.1007","volume":"25","author":[{"given":"Ran","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Spyros","family":"Reveliotis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,5,8]]},"reference":[{"key":"189_CR1","unstructured":"Ajmone MM, Balbo G, Conte G, Donatelli S, Franceschinis G (1994) Modeling with generalized stochastic petri nets. Wiley"},{"key":"189_CR2","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M Ajmone Marsan","year":"1984","unstructured":"Ajmone Marsan M, Conte G, Balbo G (1984) A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans Comput Sys 2:93\u2013122","journal-title":"ACM Trans Comput Sys"},{"key":"189_CR3","unstructured":"de Alfaro L (1997) Formal verification of probabilistic systems. PhD thesis, Stanford University, Palo Alto, VA"},{"key":"189_CR4","doi-asserted-by":"crossref","unstructured":"Beccuti M, Franceschinis G, Haddad S (2007) Markov Decision Petri Net and Markov Decision Well-Formed Net formalisms. In: ICATPN 2007 \u2013 LNCS 4546. pp 43\u201362","DOI":"10.1007\/978-3-540-73094-1_6"},{"key":"189_CR5","volume-title":"Applied dynamic programming","author":"R Bellman","year":"1957","unstructured":"Bellman R (1957) Applied dynamic programming. Princeton University, Princeton"},{"key":"189_CR6","volume-title":"Dynamic programming and optimal control, 3rd edn","author":"DP Bertsekas","year":"2005","unstructured":"Bertsekas DP (2005) Dynamic programming and optimal control, 3rd edn. Athena Scientific, Belmont"},{"key":"189_CR7","volume-title":"Neuro-dynamic programming","author":"DP Bertsekas","year":"1996","unstructured":"Bertsekas DP, Tsitsiklis JN (1996) Neuro-dynamic programming. Athena Scientific, Belmont"},{"key":"189_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0035250","volume-title":"Realization probabilities: the dynamics of queueing systems","author":"X-R Cao","year":"1994","unstructured":"Cao X-R (1994) Realization probabilities: the dynamics of queueing systems. Springer-Verlag, New York"},{"key":"189_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-69082-7","volume-title":"Stochastic learning and optimization","author":"X-R Cao","year":"2007","unstructured":"Cao X-R (2007) Stochastic learning and optimization. Springer, New York"},{"key":"189_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems, 2nd edn","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer, New York"},{"key":"189_CR11","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1109\/TRA.2003.810577","volume":"19","author":"JY Choi","year":"2003","unstructured":"Choi JY, Reveliotis SA (2003) A generalized stochastic Petri net model for performance analysis and control of capacitated re-entrant lines. IEEE Trans Robot Autom 19:474\u2013480","journal-title":"IEEE Trans Robot Autom"},{"key":"189_CR12","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0166-5316(91)90003-L","volume":"12","author":"G Ciardo","year":"1991","unstructured":"Ciardo G, Muppala JK, Trivedi KS (1991) On the solution of GSPN reward models. Perform Eval 12:237\u2013253","journal-title":"Perform Eval"},{"key":"189_CR13","doi-asserted-by":"crossref","first-page":"2772","DOI":"10.1109\/TAC.2013.2266952","volume":"58","author":"R Cordone","year":"2013","unstructured":"Cordone R, Nazeem A, Piroddi L, Reveliotis S (2013) Designing optimal deadlock avoidance policies for sequential resource allocation systems through classification theory: existence results and customized algorithms. IEEE Trans Autom Control 58:2772\u20132787","journal-title":"IEEE Trans Autom Control"},{"key":"189_CR14","doi-asserted-by":"crossref","unstructured":"Giua A, DiCesare F, Silva M (1992) Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: Proceedings of the 1992 IEEE Intl. conference on systems, man and cybernetics. IEEE, pp 974\u2013979","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"189_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3766-0","volume-title":"Simulation-based optimization: parametric optimization techniques and reinforcement learning","author":"A Gosavi","year":"2003","unstructured":"Gosavi A (2003) Simulation-based optimization: parametric optimization techniques and reinforcement learning. Kluwer Academic Publishers, Norwell"},{"key":"189_CR16","volume-title":"Perturbation analysis of discrete event systems","author":"YC Ho","year":"1991","unstructured":"Ho YC, Cao X-R (1991) Perturbation analysis of discrete event systems. Kluwer Academic Publishers, Boston"},{"key":"189_CR17","volume-title":"Supervisory control of concurrent systems: a Petri net structural approach","author":"MV Iordache","year":"2006","unstructured":"Iordache MV, Antsaklis PJ (2006) Supervisory control of concurrent systems: a Petri net structural approach. Birkh\u00e4user, Boston"},{"key":"189_CR18","doi-asserted-by":"crossref","first-page":"1143","DOI":"10.1137\/S0363012901385691","volume":"42","author":"VR Konda","year":"2003","unstructured":"Konda VR, Tsitsiklis JN (2003) On actor-critic algorithms. SIAM J Control Optim 42:1143\u20131166","journal-title":"SIAM J Control Optim"},{"key":"189_CR19","doi-asserted-by":"crossref","unstructured":"Kumar PR (1994) Scheduling manufacturing systems of re-entrant lines. In: Yao, DD (ed) Stochastic modeling and analysis of manufacturing systems. Springer-Verlag, pp 325\u2013360","DOI":"10.1007\/978-1-4612-2670-3_8"},{"key":"189_CR20","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/37.334413","volume":"14\u20136","author":"PR Kumar","year":"1994","unstructured":"Kumar PR (1994) Scheduling semiconductor manufacturing plants. IEEE Control Syst Mag 14\u20136:33\u201340","journal-title":"IEEE Control Syst Mag"},{"key":"189_CR21","volume-title":"Stochastic approximation and recursive algorithms and applications","author":"HJ Kushner","year":"2003","unstructured":"Kushner HJ, Yin GG (2003) Stochastic approximation and recursive algorithms and applications. Springer, New York"},{"key":"189_CR22","unstructured":"Li ROptimized scheduling of complex resource allocation systems. PhD thesis, ISyE, Georgia Tech, Atlanta, GA (in preparation)"},{"key":"189_CR23","unstructured":"Li R, Reveliotis S (2013) Performance optimization for a class of generalized stochastic Petri nets. In Proceedings of CDC 2013. IEEE"},{"key":"189_CR24","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","volume":"38","author":"Z Li","year":"2008","unstructured":"Li Z, Zhou M, Wu N (2008) A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Trans Syst Man Cybern Part C Appl Rev 38:173\u2013188","journal-title":"IEEE Trans Syst Man Cybern Part C Appl Rev"},{"key":"189_CR25","volume-title":"Linear and nonlinear programming, 2nd edn","author":"DG Luenberger","year":"1984","unstructured":"Luenberger DG (1984) Linear and nonlinear programming, 2nd edn. Addison Wesley, Reading"},{"key":"189_CR26","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1109\/9.905687","volume":"46","author":"P Marbach","year":"2001","unstructured":"Marbach P, Tsitsiklis JN (2001) Simulation-based optimization of Markov reward processes. IEEE Trans Autom Control 46:191\u2013209","journal-title":"IEEE Trans Autom Control"},{"key":"189_CR27","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1002\/nav.21481","volume":"59","author":"ER Moazzez","year":"2012","unstructured":"Moazzez E R, Li K, Paschalidis I Ch (2012) A least squares temporal difference actor-critic algorithm with applications to warehouse management. Nav Res Logist 59:197\u2013211","journal-title":"Nav Res Logist"},{"key":"189_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5711-1","volume-title":"Supervisory control of discrete event systems using Petri nets","author":"JO Moody","year":"1998","unstructured":"Moody JO, Antsaklis PJ (1998) Supervisory control of discrete event systems using Petri nets. Kluwer Academic Publisher, Boston"},{"key":"189_CR29","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: Properties, Analysis and applications. Proc IEEE 77:541\u2013580","journal-title":"Proc IEEE"},{"key":"189_CR30","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1287\/moor.24.2.293","volume":"24","author":"CH Papadimitriou","year":"1999","unstructured":"Papadimitriou CH, Tsitsiklis JN (1999) The complexity of optimal queueing network control. Math. OR 24:293\u2013305","journal-title":"Math. OR"},{"key":"189_CR31","doi-asserted-by":"crossref","DOI":"10.1002\/9780470182963","volume-title":"Approximate dynamic programming: solving the curses of dimensionality","author":"WB Powell","year":"2007","unstructured":"Powell WB (2007) Approximate dynamic programming: solving the curses of dimensionality. Wiley, New York"},{"key":"189_CR32","doi-asserted-by":"crossref","unstructured":"Puterman ML (1994) Markov decision processes: discrete stochastic dynamic programming. Wiley","DOI":"10.1002\/9780470316887"},{"key":"189_CR33","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJG Ramadge","year":"1989","unstructured":"Ramadge PJG, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77:81\u201398","journal-title":"Proc IEEE"},{"key":"189_CR34","doi-asserted-by":"crossref","unstructured":"Reveliotis S (2007) Algebraic deadlock avoidance policies for sequential resource allocation systems. In: Lahmar M (ed) Facility logistics: approaches and solutions to next generation challenges. Auerbach Publications, pp 235\u2013289","DOI":"10.1201\/9781420013719.ch10"},{"key":"189_CR35","doi-asserted-by":"crossref","unstructured":"Reveliotis S, Nazeem A (2014) Deadlock avoidance policies for automated manufacturing systems using finite state automata. In: Campos J, Seatzu C, Xie X (eds) Formal Methods in Manufacturing. CRC Press \/ Taylor & Francis","DOI":"10.1201\/b16529-9"},{"key":"189_CR36","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1109\/9.847750","volume":"45","author":"SA Reveliotis","year":"2000","unstructured":"Reveliotis SA (2000) The destabilizing effect of blocking due to finite buffering capacity in multi-class queueing networks. IEEE Trans Autom Control 45:585\u2013588","journal-title":"IEEE Trans Autom Control"},{"key":"189_CR37","volume-title":"Real-time management of resource allocation systems: a discrete event systems approach","author":"SA Reveliotis","year":"2005","unstructured":"Reveliotis SA (2005) Real-time management of resource allocation systems: a discrete event systems approach. Springer, New York"},{"key":"189_CR38","volume-title":"Stochastic processes","author":"SM Ross","year":"1983","unstructured":"Ross SM (1983) Stochastic processes. Wiley, New York"},{"key":"189_CR39","volume-title":"Discrete event systems: sensitivity analysis and stochastic optimization by the score function method","author":"RY Rubinstein","year":"1993","unstructured":"Rubinstein RY, Shapiro A (1993) Discrete event systems: sensitivity analysis and stochastic optimization by the score function method. Wiley, New York"},{"key":"189_CR40","unstructured":"Singer P (1995) The driving forces in cluster tool development. Semiconductor International. July \u201995. pp 113\u2013118"},{"key":"189_CR41","unstructured":"Weiss M (1996) Semiconductor factory automation. Solid State Tech:89\u201396"},{"key":"189_CR42","unstructured":"Wonham WM (2006) Supervisory control of discrete event systems. Technical Report ECE 1636F \/ 1637S 2006-07, Electrical & Computer Eng., University of Toronto"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0189-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-014-0189-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0189-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:58:54Z","timestamp":1559246334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-014-0189-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,8]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["189"],"URL":"https:\/\/doi.org\/10.1007\/s10626-014-0189-3","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,5,8]]}}}