{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T04:06:05Z","timestamp":1725681965082},"reference-count":8,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"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,5]]},"DOI":"10.1109\/saci49304.2020.9118825","type":"proceedings-article","created":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T21:52:42Z","timestamp":1592344362000},"page":"000217-000220","source":"Crossref","is-referenced-by-count":1,"title":["Mathematical Formalism of Sequential Automaton with Parallel Branches used in Industrial Automation"],"prefix":"10.1109","author":[{"given":"Dan","family":"Ungureanu-Anghel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raul","family":"Robu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Octavian","family":"Prostean","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"ref4","article-title":"Automation of Sequential Processes with GRAPH in the TIA Portal for S7-1500. SIMATIC STEP 7 Professional V15, S7-1500"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"2013","author":"hopcroft","key":"ref3"},{"year":"2018","key":"ref6","article-title":"Logix 5000 Controllers Sequential Function Charts. Programming Manual"},{"article-title":"Automating with SIMATIC S7-1500","year":"0","author":"berger","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/INES.2008.4481301"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1142\/AMAST"},{"key":"ref2","article-title":"Interpreting Finite Automata for Sequential Data","author":"hammerschmidt","year":"0","journal-title":"29th Conference on Neural Information Processing Systems (NIPS 2016)"},{"article-title":"Introduction to Discrete Event Systems. Second Edition","year":"2008","author":"cassandras","key":"ref1"}],"event":{"name":"2020 IEEE 14th International Symposium on Applied Computational Intelligence and Informatics (SACI)","start":{"date-parts":[[2020,5,21]]},"location":"Timisoara, Romania","end":{"date-parts":[[2020,5,23]]}},"container-title":["2020 IEEE 14th International Symposium on Applied Computational Intelligence and Informatics (SACI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9115579\/9118780\/09118825.pdf?arnumber=9118825","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T21:56:34Z","timestamp":1656453394000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9118825\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/saci49304.2020.9118825","relation":{},"subject":[],"published":{"date-parts":[[2020,5]]}}}