{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T16:44:40Z","timestamp":1730306680623,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"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":[[2020,12,14]]},"DOI":"10.1109\/wsc48552.2020.9383940","type":"proceedings-article","created":{"date-parts":[[2021,3,29]],"date-time":"2021-03-29T22:03:21Z","timestamp":1617055401000},"page":"1039-1050","source":"Crossref","is-referenced-by-count":0,"title":["Rollback Support in Hyflow Modular Models"],"prefix":"10.1109","author":[{"given":"Fernando","family":"Barros","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/347823.347828"},{"journal-title":"Principles of Object-Oriented Modeling and Simulation with Modelica 2 1","year":"2004","author":"fritzson","key":"ref11"},{"journal-title":"Lectures on the Hyperreals An Introduction to Nonstandard Analysis","year":"1998","author":"goldblatt","key":"ref12"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/3-540-08755-9_9","article-title":"Notes on Database Operating Systems","volume":"60","author":"gray","year":"1978","journal-title":"Lecture Notes in Computer Science Operating Systems"},{"journal-title":"Geometric Numerical Integration Structure-Preserving Algorithms for Ordinary Differential Equations","year":"2005","author":"hairer","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1993.698569"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3916.3988"},{"journal-title":"Creating Computer Simulation Systems An Introduction to the High Level Architecture","year":"1999","author":"kuhl","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_2"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0060"},{"key":"ref4","article-title":"A Modular Representation of Fluid Stochastic Petri Nets","author":"barros","year":"2015","journal-title":"Proceedings of the Symposium on Theory of Modeling and Simulation April 12th-15th"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1385989.1386020"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/312009.312079"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2018.8632530"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2345141.2248437"},{"key":"ref7","article-title":"The Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models","author":"blochwitz","year":"2012","journal-title":"Proceedings of the 9th Modelica Conference September 3rd-5th"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/937332.937335"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1080\/03081070290008011"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2018.10.025"},{"key":"ref20","article-title":"System Theoretic Foundations for Combined Discrete-Continuous System Simulation","author":"praehofer","year":"1991","journal-title":"Ph D thesis"},{"journal-title":"Effective TypeScript","year":"2019","author":"vanderkam","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-21738-3"},{"journal-title":"Multifacetted Modeling and Discrete Event Simulation","year":"1984","author":"zeigler","key":"ref23"}],"event":{"name":"2020 Winter Simulation Conference (WSC)","start":{"date-parts":[[2020,12,14]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2020,12,18]]}},"container-title":["2020 Winter Simulation Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9383852\/9383853\/09383940.pdf?arnumber=9383940","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T15:17:41Z","timestamp":1656602261000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9383940\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,14]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/wsc48552.2020.9383940","relation":{},"subject":[],"published":{"date-parts":[[2020,12,14]]}}}