{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T12:04:56Z","timestamp":1747137896509,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/icdim.2007.4444318","type":"proceedings-article","created":{"date-parts":[[2008,7,23]],"date-time":"2008-07-23T13:49:26Z","timestamp":1216820966000},"page":"774-779","source":"Crossref","is-referenced-by-count":4,"title":["Control validation of D.E.S systems: Application to remote laboratories"],"prefix":"10.1109","author":[{"given":"Pascale","family":"Marange","sequence":"first","affiliation":[]},{"given":"Francois","family":"Gellot","sequence":"additional","affiliation":[]},{"given":"Bernard","family":"Riera","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844424"},{"journal-title":"CEI\/IEC 848","article-title":"Preparation of function charts for control systems, International Standard","year":"1991","key":"ref11"},{"key":"ref12","article-title":"An interactive course on logic controllers design using Grafcet","author":"diez","year":"2006","journal-title":"Proceeding of 7th IFAC symposium on Advances in control Education ACE '06"},{"journal-title":"Publication 848","article-title":"Preparation of function charts for control systems","year":"2002","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1080\/08839519408945442"},{"key":"ref15","first-page":"995","volume":"9","author":"emerson","year":"1990","journal-title":"Temporal and modal logic editor Handbook of the theoretical Computer Sciences"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612509"},{"key":"ref17","first-page":"247","article-title":"Formal verification of the sequential part of PLC programs","author":"lamp\u00e9ri\u00e8re","year":"2000","journal-title":"Proc 5th IFAC Wodes"},{"journal-title":"A Tutorial on Uppaal","year":"2004","author":"behramm","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2006.870707"},{"key":"ref4","article-title":"Systems and automation education through Web-based labs","author":"lunt","year":"2000","journal-title":"ICEE'2000"},{"key":"ref3","article-title":"Agent-based virtual control systems for DCS education via Internet","author":"metzger","year":"2004","journal-title":"S3b_4 IFAC Workshop IBCE'04"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2006.870667"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2004.1408524"},{"key":"ref8","article-title":"A distance PLC programming Course employing a remote laboratory based on a flexible manufacturing cell","volume":"49","author":"gomis","year":"2006","journal-title":"IEEE Trans on Educ"},{"key":"ref7","article-title":"An interactive electronic book approach for teaching computer implementation of industrial control systems","volume":"46","author":"haddapis","year":"2003","journal-title":"IEEE Trans on Educ"},{"key":"ref2","article-title":"Requirement and Use for remote teaching of Discrete Events Systems","author":"marang\u00e9","year":"2006","journal-title":"Proceeding of 7th IFAC symposium on Advances in control Education ACE '06"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2006.878295"},{"key":"ref9","article-title":"Deadlock-free scheduling of flexible manufacturing workcells using automata theory","volume":"36","author":"golmakani","year":"2006","journal-title":"IEEE Trans on Systems Man and Cybernetics"},{"article-title":"Méthodologie de conception des systèmes complexes a événements discrets: application à la conception et à la validation hiérarchisée de la commande de cellules flexibles de production dans l'industrie manufacturière","year":"1998","author":"cruette","key":"ref20"}],"event":{"name":"2007 2nd International Conference on Digital Information Management","start":{"date-parts":[[2007,10,28]]},"location":"Lyon, France","end":{"date-parts":[[2007,10,31]]}},"container-title":["2007 2nd International Conference on Digital Information Management"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4444189\/4444274\/04444318.pdf?arnumber=4444318","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T20:22:01Z","timestamp":1489695721000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4444318\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icdim.2007.4444318","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}