{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T11:32:31Z","timestamp":1765279951689},"reference-count":39,"publisher":"Informa UK Limited","issue":"15","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Production Research"],"published-print":{"date-parts":[[2017,8,3]]},"DOI":"10.1080\/00207543.2016.1235804","type":"journal-article","created":{"date-parts":[[2016,9,26]],"date-time":"2016-09-26T10:45:51Z","timestamp":1474886751000},"page":"4283-4303","update-policy":"http:\/\/dx.doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":19,"title":["A synthesis approach to distributed supervisory control design for manufacturing systems with Grafcet implementation"],"prefix":"10.1080","volume":"55","author":[{"given":"Yassine","family":"Qamsane","sequence":"first","affiliation":[{"name":"Laboratory of Electrical Engineering and Control Systems, National School of Applied Sciences, Cadi Ayyad University, Marrakech, Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelouahed","family":"Tajer","sequence":"additional","affiliation":[{"name":"Laboratory of Electrical Engineering and Control Systems, National School of Applied Sciences, Cadi Ayyad University, Marrakech, Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Philippot","sequence":"additional","affiliation":[{"name":"Research Centre for Science and Information Technology and Communication, University of Reims Champagne Ardennes, Reims, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2016,9,26]]},"reference":[{"key":"CIT0001","first-page":"384","author":"Akesson K.","year":"2006","journal-title":"IEEE 8th International Workshop on Discrete Event Systems"},{"key":"CIT0002","volume-title":"Principles of Model Checking","author":"Baier C.","year":"2008"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1109\/9.231459"},{"key":"CIT0004","first-page":"200","author":"Behrmann G.","year":"2006","journal-title":"Formal Methods for the Design of Real-time Systems"},{"key":"CIT0005","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1145\/2351676.2351741","author":"Biallas S.","year":"2012","journal-title":"Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering, ASE"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.03.025"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.927679"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1080\/00207540410001705194"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.04.002"},{"key":"CIT0012","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft J.","year":"2006","edition":"3"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907504"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2445852"},{"key":"CIT0015","unstructured":"IEC Standard 60848. 2013.Grafcet Specification Language for Sequential Function Charts. International Electrotechnical Commission.\u00a0Geneva."},{"key":"CIT0016","unstructured":"IEC Standard 61131-3. 2013.Programmable Controllers \u2013 Part 3: Programming Languages. International Electrotechnical Commission.\u00a0Geneva."},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.07.008"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1080\/00207540802270104"},{"key":"CIT0019","author":"Philippot A","year":"2006","journal-title":"PhD thesis"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1109\/MED.2010.5547792"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.3182\/20090603-3-RU-2001.0235"},{"key":"CIT0022","first-page":"936","volume":"2","author":"Philippot A.","year":"2012","journal-title":"ARPN Journal of Science and Technology"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1109\/ICoCS.2014.7060960"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"CIT0025","author":"Riera B.","year":"2015","journal-title":"The 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS\u201915)"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1080\/00207540802367074"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2014.09.008"},{"issue":"2","key":"CIT0028","first-page":"695","volume":"29","author":"Seow K. T","year":"2014","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.05.035"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2010.519732"},{"key":"CIT0031","author":"Tajer A.","year":"2011","journal-title":"The IEEE International Conference on Communication, Computing and Control Applications (CCCA\u201911)"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1504\/IJSCC.2013.058175"},{"key":"CIT0033","author":"W3C","year":"2012","journal-title":"World Wide Web Consortium"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760888"},{"key":"CIT0035","doi-asserted-by":"publisher","DOI":"10.1007\/BF01797154"},{"key":"CIT0036","unstructured":"Wonham, W.M. 2012.Supervisory Control of Discrete-event Systems. Systems Control Group, Department of Electrical and Computer Engineering, University of Toronto. http:\/\/www.control.toronto.edu\/DES."},{"key":"CIT0037","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551233"},{"key":"CIT0038","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2015.7294244"},{"key":"CIT0039","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002388"}],"container-title":["International Journal of Production Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207543.2016.1235804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T04:55:32Z","timestamp":1657342532000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/00207543.2016.1235804"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,26]]},"references-count":39,"journal-issue":{"issue":"15","published-print":{"date-parts":[[2017,8,3]]}},"alternative-id":["10.1080\/00207543.2016.1235804"],"URL":"https:\/\/doi.org\/10.1080\/00207543.2016.1235804","relation":{},"ISSN":["0020-7543","1366-588X"],"issn-type":[{"value":"0020-7543","type":"print"},{"value":"1366-588X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9,26]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tprs20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tprs20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2015-12-21","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-09-06","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-09-26","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}