{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,5]],"date-time":"2026-08-05T15:24:03Z","timestamp":1785943443273,"version":"3.56.0"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2023,12,6]],"date-time":"2023-12-06T00:00:00Z","timestamp":1701820800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,12,6]],"date-time":"2023-12-06T00:00:00Z","timestamp":1701820800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100006690","name":"Politecnico di Milano","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100006690","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2024,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This work proposes a mathematical programming (MP) representation of discrete event simulation of timed Petri nets (TPN). Currently, mathematical programming techniques are not widely applied to optimize discrete event systems due to the difficulty of formulating models capable to correctly represent the system dynamics. This work connects the two fruitful research fields, i.e., mathematical programming and Timed Petri Nets. In the MP formalism, the decision variables of the model correspond to the transition firing times and the markings of the TPN, whereas the constraints represent the state transition logic and temporal sequences among events. The MP model and a simulation run of the TPN are then totally equivalent, and this equivalence has been validated through an application in the queuing network field. Using a TPN model as input, the MP model can be routinely generated and used as a white box for further tasks such as sensitivity analysis, cut generation in optimization procedures, and proof of formal properties.<\/jats:p>","DOI":"10.1007\/s10626-023-00387-7","type":"journal-article","created":{"date-parts":[[2023,12,6]],"date-time":"2023-12-06T08:02:31Z","timestamp":1701849751000},"page":"1-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Generation of mathematical programming representations for discrete event simulation models of timed petri nets"],"prefix":"10.1007","volume":"34","author":[{"given":"Mengyi","family":"Zhang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arianna","family":"Alfieri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3902-2007","authenticated-orcid":false,"given":"Andrea","family":"Matta","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,12,6]]},"reference":[{"issue":"3","key":"387_CR1","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1016\/j.ejor.2011.12.044","volume":"219","author":"A Alfieri","year":"2012","unstructured":"Alfieri A, Matta A (2012) Mathematical programming formulations for approximate simulation of multistage production systems. Eur J Oper Res 219(3):773\u2013783","journal-title":"Eur J Oper Res"},{"key":"387_CR2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2019.104835","volume":"115","author":"A Alfieri","year":"2020","unstructured":"Alfieri A, Matta A, Pastore E (2020) The time buffer approximated buffer allocation problem: A row-column generation approach. Comput Oper Res 115:104835","journal-title":"Comput Oper Res"},{"issue":"9","key":"387_CR3","doi-asserted-by":"publisher","first-page":"2047","DOI":"10.1016\/j.automatica.2012.06.039","volume":"48","author":"F Basile","year":"2012","unstructured":"Basile F, Chiacchio P, De Tommasi G (2012) On k-diagnosability of petri nets via integer linear programming. Automatica 48(9):2047\u20132058","journal-title":"Automatica"},{"issue":"3","key":"387_CR4","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/S0005-1098(98)00178-2","volume":"35","author":"A Bemporad","year":"1999","unstructured":"Bemporad A, Morari M (1999) Control of systems integrating logic, dynamics, and constraints. Automatica 35(3):407\u2013427","journal-title":"Automatica"},{"key":"387_CR5","volume-title":"Introduction to discrete event systems","author":"C Cassandras","year":"2009","unstructured":"Cassandras C, Lafortune S (2009) Introduction to discrete event systems. Springer, US"},{"issue":"5","key":"387_CR6","doi-asserted-by":"publisher","first-page":"1218","DOI":"10.1287\/opre.1080.0559","volume":"56","author":"WK Chan","year":"2008","unstructured":"Chan WK, Schruben L (2008) Optimization models of discrete-event system dynamics. Oper Res 56(5):1218\u20131237","journal-title":"Oper Res"},{"issue":"4","key":"387_CR7","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.ifacol.2021.04.073","volume":"53","author":"E Di Marino","year":"2020","unstructured":"Di Marino E, Su R, Basile F (2020) Makespan optimization using timed petri nets and mixed integer linear programming problem. IFAC-PapersOnLine 53(4):129\u2013135","journal-title":"IFAC-PapersOnLine"},{"key":"387_CR8","doi-asserted-by":"crossref","unstructured":"Fu M (ed) (2015) Handbook of simulation optimization. Springer","DOI":"10.1007\/978-1-4939-1384-8"},{"key":"387_CR9","unstructured":"Law AM (2014) Simulation modeling and analysis (vol 5) McGraw-Hill New York"},{"key":"387_CR10","doi-asserted-by":"crossref","unstructured":"Matta A (2008) Simulation optimization with mathematical programming representation of discrete event systems. In Proceedings of the 2008 Winter Simulation Conference (pp 1393\u20131400)","DOI":"10.1109\/WSC.2008.4736215"},{"issue":"14","key":"387_CR11","doi-asserted-by":"publisher","first-page":"4317","DOI":"10.1080\/00207543.2014.997404","volume":"53","author":"G Pedrielli","year":"2015","unstructured":"Pedrielli G, Alfieri A, Matta A (2015) Integrated simulation-optimisation of pull control systems. Int J Prod Res 53(14):4317\u20134336","journal-title":"Int J Prod Res"},{"issue":"4","key":"387_CR12","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1007\/s00291-015-0393-z","volume":"37","author":"S Weiss","year":"2015","unstructured":"Weiss S, Stolletz R (2015) Buffer allocation in stochastic flow lines via sample-based optimization with initial bounds. OR Spectrum 37(4):869\u2013902","journal-title":"OR Spectrum"},{"key":"387_CR13","doi-asserted-by":"crossref","unstructured":"Zeigler BP, Muzy A, Kofman E (2018) Theory of modeling and simulation: discrete event & iterative system computational foundations. Academic press","DOI":"10.1016\/B978-0-12-813370-5.00010-9"},{"key":"387_CR14","unstructured":"Zhang M (2021) Resource allocation problems in manufacturing systems using white-box- simulation-based cut generation approach (Unpublished doctoral dissertation)"},{"key":"387_CR15","doi-asserted-by":"crossref","unstructured":"Zhang M, Matta A (2020) Models and algorithms for throughput improvement problem of serial production lines via downtime reduction. IISE Transactions 52(11):1189\u20131203","DOI":"10.1080\/24725854.2019.1700431"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-023-00387-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-023-00387-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-023-00387-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T09:12:24Z","timestamp":1707988344000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-023-00387-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,6]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,3]]}},"alternative-id":["387"],"URL":"https:\/\/doi.org\/10.1007\/s10626-023-00387-7","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12,6]]},"assertion":[{"value":"13 May 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 November 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 December 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no conflict of interest to declare that are relevant to this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}}]}}