{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T11:46:52Z","timestamp":1747482412404,"version":"3.28.2"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,20]],"date-time":"2024-05-20T00:00:00Z","timestamp":1716163200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,20]],"date-time":"2024-05-20T00:00:00Z","timestamp":1716163200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,5,20]]},"DOI":"10.23919\/annsim61499.2024.10732500","type":"proceedings-article","created":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:29:50Z","timestamp":1730222990000},"page":"1-13","source":"Crossref","is-referenced-by-count":1,"title":["DEVS Formal Modeling and Simulation in Manufacturing Systems"],"prefix":"10.23919","author":[{"given":"Cristina Ruiz","family":"Martin","sequence":"first","affiliation":[{"name":"Carleton University,Department of Systems and Computer Engineering,Canada"}]},{"given":"Gabriel","family":"Wainer","sequence":"additional","affiliation":[{"name":"Carleton University,Department of Systems and Computer Engineering,Canada"}]}],"member":"263","reference":[{"volume-title":"The Goal","year":"1984","author":"Goldratt","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4324\/9780429273018"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1038\/sj.jors.2600967"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-8349-9320-5_22"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(02)00554-4"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4324\/9781498714891"},{"volume-title":"The Race","year":"1986","author":"Goldratt","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1108\/17410380510583617"},{"key":"ref9","first-page":"13","article-title":"A simulation approach to production line bottleneck analysis","volume-title":"International conference cybernetics and informatics","author":"Leporis"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2011.11.015"},{"article-title":"A comparison of discrete event simulation and system dynamics for modelling healthcare systems","volume-title":"Proceedings of ORAHS","author":"Brailsford","key":"ref11"},{"volume-title":"Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems","year":"2000","author":"Zeigler","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2000.900199"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1201\/9781420053371"},{"key":"ref15","first-page":"71","article-title":"On the Performance Prediction Capabilities of the eBPMN-based Model-driven Method for Business Process Simulation","volume-title":"CIISE","author":"Bocciarelli"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1504\/IJSPM.2016.082907"},{"key":"ref17","first-page":"13","article-title":"Business process simulation: transformation of BPMN 2.0 to DEVS models","volume-title":"Proceedings of the Symposium on Theory of Modeling and Simulation-DEVS Integrative M&S Symposium","author":"Bazoun"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2018.8632470"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2012.02.011"},{"key":"ref20","first-page":"24","article-title":"G-DEVS based simulation of toy industry client behavior in PSS (WIP)","volume-title":"Proceedings of the 2012 Symposium on Theory of Modeling and Simulation-DEVS Integrative M&S Symposium","author":"Alix"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2011.6126595"},{"key":"ref22","first-page":"193","article-title":"Constructing DEVS models based on experts\u2019 knowledge: application to STMicroelectronics\u2019 large scale manufacturing processes","volume-title":"Proceedings of the 2011 Symposium on Theory of Modeling and Simulation: DEVS Integrative M&S Symposium","author":"Viale"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2007.4419796"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2014.7020095"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2005.1574259"},{"key":"ref26","first-page":"30","article-title":"Model composability and execution across simulation, optimization, and forecast models","volume-title":"Proceedings of the Symposium on Theory of Modeling and Simulation-DEVS Integrative M&S Symposium","author":"Sarjoughian"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2006.01.001"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.1202"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.1993.718105"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1002\/spe.482"},{"article-title":"Modeling and Simulation of Manufacturing Systems in Unstable Environment","volume-title":"Proceedings of the World Congress on Engineering","author":"Hu","key":"ref31"}],"event":{"name":"2024 Annual Modeling and Simulation Conference (ANNSIM)","start":{"date-parts":[[2024,5,20]]},"location":"Washington, D.C., DC, USA","end":{"date-parts":[[2024,5,23]]}},"container-title":["2024 Annual Modeling and Simulation Conference (ANNSIM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10732024\/10732030\/10732500.pdf?arnumber=10732500","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T03:47:38Z","timestamp":1732679258000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10732500\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,20]]},"references-count":31,"URL":"https:\/\/doi.org\/10.23919\/annsim61499.2024.10732500","relation":{},"subject":[],"published":{"date-parts":[[2024,5,20]]}}}