{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:11:11Z","timestamp":1766067071901,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1109\/iecon.2019.8926908","type":"proceedings-article","created":{"date-parts":[[2019,12,27]],"date-time":"2019-12-27T16:00:17Z","timestamp":1577462417000},"page":"5887-5891","source":"Crossref","is-referenced-by-count":15,"title":["Specification of Cyber-Physical Systems with the Application of Interpreted Nets"],"prefix":"10.1109","author":[{"given":"Iwona","family":"Grobelna","sequence":"first","affiliation":[]},{"given":"Remigiusz","family":"Wisniewski","sequence":"additional","affiliation":[]},{"given":"Marcin","family":"Wojnakowski","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Model checking","year":"2018","author":"clarke","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2836858"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2893284"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2875239"},{"key":"ref11","article-title":"The Impact of Control Technology","author":"samad","year":"2011","journal-title":"IEEE Control Systems Society"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194017400010"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2899316"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87785-1_5"},{"key":"ref16","first-page":"246","article-title":"Modeling Methodologies for Cyber-Physical Systems: Research field study on inherent and future challenges","volume":"36","author":"quadri","year":"2015","journal-title":"Ada User J"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2692204"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399365"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2342199"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2531673"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2015.2460747"},{"key":"ref27","first-page":"245","article-title":"Methods of Translation of Petri Nets to NuSMV Language","author":"szpyrka","year":"0","journal-title":"Proc of the Int workshop on concurrency specification and programming"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10916-018-0921-x"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2782881"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cps.2016.0025"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2322503"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/PESMG.2013.6672537"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2015.2410831"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-54825-8"},{"journal-title":"Introduction to Embedded Systems A Cyber-physical Systems Approach","year":"2017","author":"lee","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1177\/02783640022066743"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1142\/S021812661850086X"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2248358"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/HSI.2014.6860480"},{"journal-title":"Dynamic Analysis of Petri Net-Based Discrete Systems","year":"2007","author":"karatkevich","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2018.06.005"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2018.8502652"}],"event":{"name":"IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society","start":{"date-parts":[[2019,10,14]]},"location":"Lisbon, Portugal","end":{"date-parts":[[2019,10,17]]}},"container-title":["IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8897531\/8926608\/08926908.pdf?arnumber=8926908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T18:30:16Z","timestamp":1598207416000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8926908\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/iecon.2019.8926908","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}