{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T16:12:09Z","timestamp":1755792729895,"version":"3.44.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T00:00:00Z","timestamp":1467331200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T00:00:00Z","timestamp":1467331200000},"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":[[2016,7]]},"DOI":"10.1109\/indin.2016.7819259","type":"proceedings-article","created":{"date-parts":[[2017,1,19]],"date-time":"2017-01-19T21:21:44Z","timestamp":1484860904000},"page":"748-755","source":"Crossref","is-referenced-by-count":4,"title":["Speculative computation in IEC 61499 function blocks execution \u2014 Modeling and simulation"],"prefix":"10.1109","author":[{"given":"Dmitrii","family":"Drozdov","sequence":"first","affiliation":[{"name":"Penza State University, Penza, Russian Federation"}]},{"given":"Victor","family":"Dubinin","sequence":"additional","affiliation":[{"name":"Penza State University, Penza, Russian Federation"}]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[{"name":"Luleå University of Technology, Luleå, Sweden, Aalto University, Helsinki, Finland"}]}],"member":"263","reference":[{"key":"ref10","first-page":"9","article-title":"Controlling Speculative Computation in Multi-Agent Environments","author":"inoue","year":"2001","journal-title":"Proc of the Second International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.08.002"},{"journal-title":"Function blocks — Part 1 Architecture","year":"2012","key":"ref12"},{"key":"ref13","first-page":"301","author":"marsan","year":"1995","journal-title":"Modelling with Generalized Stochastic Petri Nets"},{"key":"ref14","first-page":"509","author":"haas","year":"0","journal-title":"Stochastic Petri Nets Modelling Stability Simulation"},{"key":"ref15","article-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","volume":"1","author":"jensen","year":"1992","journal-title":"Basic Concepts"},{"journal-title":"CPN Tools","year":"0","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/32.58784"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1142\/S021819400100061X"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2006.12"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/290409.290411"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/10703040_34"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2000.839420"},{"key":"ref5","first-page":"1","article-title":"Automatic I\/O hint generation through speculative execution","author":"chang","year":"1999","journal-title":"Proceedings of the 3rd Symposium on Operating System Design and Implementation (OSDI'99)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1806651.1806663"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11572961_29"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/106972.106991"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1093\/ietisy\/e88-d.9.2031"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.18"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2015.2423495"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2014.2371777"},{"key":"ref21","first-page":"279","author":"vyatkin","year":"2007","journal-title":"IEC 61499 Function Blocks For Embedded and Distributed Control Systems Design"},{"key":"ref24","first-page":"300","article-title":"Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV Execution Semantics","volume":"9409","author":"patil","year":"0"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/Trustcom.2015.650"}],"event":{"name":"2016 IEEE 14th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2016,7,19]]},"location":"Poitiers, France","end":{"date-parts":[[2016,7,21]]}},"container-title":["2016 IEEE 14th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7800953\/7819121\/07819259.pdf?arnumber=7819259","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,14]],"date-time":"2025-08-14T18:41:59Z","timestamp":1755196919000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7819259\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/indin.2016.7819259","relation":{},"subject":[],"published":{"date-parts":[[2016,7]]}}}