{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:41:55Z","timestamp":1729651315917,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/cdc.2007.4434768","type":"proceedings-article","created":{"date-parts":[[2008,1,28]],"date-time":"2008-01-28T16:06:38Z","timestamp":1201536398000},"page":"1874-1879","source":"Crossref","is-referenced-by-count":3,"title":["On industrial techniques and information technology control classrooms"],"prefix":"10.1109","author":[{"given":"Jana","family":"Flochova","sequence":"first","affiliation":[]},{"given":"Leo","family":"Mrafko","sequence":"additional","affiliation":[]},{"given":"Dusan","family":"Mudroncik","sequence":"additional","affiliation":[]},{"given":"Filip","family":"Auxt","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/21.44011"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"year":"0","key":"14"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1023\/A:1013331703036","article-title":"structuring acyclic petri nets for reachability analysis and control","author":"stremersch","year":"2002","journal-title":"Discrete Event Dynamical Systems Theory and Application"},{"key":"12","first-page":"1737","article-title":"enforcing k-safeness in controlled state machines","author":"stremersch","year":"1999","journal-title":"Proc of 38th IEEE Conference on Decision and Control"},{"key":"3","first-page":"343","article-title":"distributed contextual diagnosis for large systems","author":"boel","year":"2004","journal-title":"Proc 7th Workshop Discrete Event Systems"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008241818642"},{"journal-title":"Boel Adaptive Supervisory Control to appear in Synthesis and Control of Discrete","year":"2002","author":"rene?","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/9.847725"},{"key":"7","first-page":"150","article-title":"laboratory for distributed real-time control","volume":"1","author":"hanza?lek","year":"1996","journal-title":"Real-Time Systems Education"},{"key":"6","first-page":"278","article-title":"program solution of supervisory control based on petri nets","author":"flochova?","year":"1997","journal-title":"Proceeding of 2nd IFAC Workshop on New Trends in Design of Control Systems"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382521"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2007.4283060"},{"article-title":"fault diagnosis for large petri nets","year":"2006","author":"jiroveanu","key":"9"},{"key":"8","article-title":"modeling and control of discrete event dynamic systems","author":"hru?z","year":"2007","journal-title":"Springer"}],"event":{"name":"2007 46th IEEE Conference on Decision and Control","start":{"date-parts":[[2007,12,12]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2007,12,14]]}},"container-title":["2007 46th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4433999\/4434000\/04434768.pdf?arnumber=4434768","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T23:30:57Z","timestamp":1497742257000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4434768\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cdc.2007.4434768","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}