{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T11:33:08Z","timestamp":1765279988832,"version":"3.37.3"},"reference-count":26,"publisher":"Informa UK Limited","issue":"21","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Production Research"],"published-print":{"date-parts":[[2017,11,2]]},"DOI":"10.1080\/00207543.2017.1333648","type":"journal-article","created":{"date-parts":[[2017,6,1]],"date-time":"2017-06-01T14:06:16Z","timestamp":1496325976000},"page":"6235-6253","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":8,"title":["Towards an approach of synthesis, validation and implementation of distributed control for AMS by using events ordering relations"],"prefix":"10.1080","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4036-2586","authenticated-orcid":false,"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":[[2017,6,1]]},"reference":[{"volume-title":"Principles of Model Checking","year":"2008","author":"Baier C.","key":"CIT0001"},{"doi-asserted-by":"publisher","key":"CIT0002","DOI":"10.1109\/TAC.2015.2422411"},{"doi-asserted-by":"publisher","key":"CIT0003","DOI":"10.1109\/9.231459"},{"doi-asserted-by":"publisher","key":"CIT0004","DOI":"10.1109\/TASE.2012.2226578"},{"key":"CIT0005","first-page":"200","volume-title":"Formal Methods for the Design of Real-time Systems","author":"Behrmann G.","year":"2006"},{"doi-asserted-by":"publisher","key":"CIT0006","DOI":"10.1109\/70.481746"},{"year":"2008","author":"Cantarelli M.","journal-title":"9th International Workshop On Discrete Event Systems","key":"CIT0007"},{"doi-asserted-by":"publisher","key":"CIT0009","DOI":"10.1080\/00207543.2011.626460"},{"doi-asserted-by":"publisher","key":"CIT0010","DOI":"10.1016\/j.jmsy.2014.04.008"},{"doi-asserted-by":"publisher","key":"CIT0011","DOI":"10.1109\/CDC.1987.272773"},{"year":"2001","author":"Hellgren A.","journal-title":"Proceedings of the 2001 IEEE Conference on Control Applications (CCA \u201801)","key":"CIT0012"},{"key":"CIT0013","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft J.","year":"2006","edition":"3"},{"doi-asserted-by":"publisher","key":"CIT0014","DOI":"10.1109\/TCST.2015.2445852"},{"doi-asserted-by":"publisher","key":"CIT0015","DOI":"10.1109\/TASE.2008.923820"},{"year":"2013","author":"IEC Standard 60848","journal-title":"International Electrotechnical Commission","key":"CIT0016"},{"doi-asserted-by":"publisher","key":"CIT0027","DOI":"10.1145\/359545.359563"},{"volume-title":"The B Language and Method: A Guide to Practical Formal Development","year":"2012","author":"Lano K.","key":"CIT0017"},{"unstructured":"Philippot, A. 2006. \u201cContribution Au Diagnostic D\u00e9centralis\u00e9 Des Syst\u00e8mes \u00c0 \u00c9v\u00e9nements Discrets: Application Aux Syst\u00e8mes Manufacturiers.\u201d PhD thesis, University of Reims-Champagne Ardenne (in French).","key":"CIT0018"},{"doi-asserted-by":"publisher","key":"CIT0019","DOI":"10.1016\/j.ifacol.2016.07.637"},{"year":"2016","author":"Qamsane Y.","journal-title":"International Journal of Production Research","key":"CIT0020"},{"year":"2017","author":"Qamsane Y.","journal-title":"The 20th World Congress of the International Federation of Automatic Control","key":"CIT0021"},{"doi-asserted-by":"publisher","key":"CIT0022","DOI":"10.1137\/0325013"},{"doi-asserted-by":"publisher","key":"CIT0023","DOI":"10.3182\/20140514-3-FR-4046.00054"},{"doi-asserted-by":"publisher","key":"CIT0024","DOI":"10.1155\/2014\/726246"},{"doi-asserted-by":"publisher","key":"CIT0025","DOI":"10.1080\/00207540410001705266"},{"year":"2012","author":"Wonham W. M.","journal-title":"Supervisory Control of Discrete-event Systems","key":"CIT0026"}],"container-title":["International Journal of Production Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207543.2017.1333648","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,29]],"date-time":"2020-08-29T20:49:48Z","timestamp":1598734188000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/00207543.2017.1333648"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,1]]},"references-count":26,"journal-issue":{"issue":"21","published-print":{"date-parts":[[2017,11,2]]}},"alternative-id":["10.1080\/00207543.2017.1333648"],"URL":"https:\/\/doi.org\/10.1080\/00207543.2017.1333648","relation":{},"ISSN":["0020-7543","1366-588X"],"issn-type":[{"type":"print","value":"0020-7543"},{"type":"electronic","value":"1366-588X"}],"subject":[],"published":{"date-parts":[[2017,6,1]]},"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":"2016-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-05-12","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-06-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}