{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:25:59Z","timestamp":1740122759531,"version":"3.37.3"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,1,4]],"date-time":"2021-01-04T00:00:00Z","timestamp":1609718400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,4]],"date-time":"2021-01-04T00:00:00Z","timestamp":1609718400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1007\/s10626-020-00333-x","type":"journal-article","created":{"date-parts":[[2021,1,4]],"date-time":"2021-01-04T21:03:13Z","timestamp":1609794193000},"page":"185-217","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Logical time control of concurrent DES"],"prefix":"10.1007","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3763-8417","authenticated-orcid":false,"given":"Jean-Luc","family":"B\u00e9chennec","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Didier","family":"Lime","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier H.","family":"Roux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,1,4]]},"reference":[{"key":"333_CR1","unstructured":"Altisen K, Tripakis S (2002) Tools for controller synthesis of timed systems. In: 2nd workshop on real-time tools (RT-TOOLS\u20192002)"},{"issue":"2","key":"333_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235","journal-title":"Theor Comput Sci"},{"key":"333_CR3","doi-asserted-by":"crossref","unstructured":"B\u00e9chennec JL, Lime D, Roux OH (2019) Control of DES with urgency, avoidability and ineluctability. In: 19th international conference on application of concurrency to system design (ACSD\u201919)","DOI":"10.1109\/ACSD.2019.00020"},{"key":"333_CR4","unstructured":"B\u00e9chennec JL, Roux OH, Lime D (2019) Contr\u00f4le des SED avec urgence, \u00e9vitabilit\u00e9 et in\u00e9luctabilit\u00e9. In: Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs (MSR\u201919), Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs (MSR\u201919). Angers, France. https:\/\/hal.archives-ouvertes.fr\/hal-02415319"},{"key":"333_CR5","doi-asserted-by":"crossref","unstructured":"Behrmann G, Cougnard A, David A, Fleury E, Larsen KG, Lime D (2007) Uppaal-tiga: Time for playing games!. In: Computer aided verification. Springer, pp 121\u2013125","DOI":"10.1007\/978-3-540-73368-3_14"},{"key":"333_CR6","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1051\/ita:2002013","volume":"36","author":"J Bernet","year":"2002","unstructured":"Bernet J, Janin D, Walukiewicz I (2002) Permissive strategies: from parity games to safety games. RAIRO - Theoretical Informatics and Applications (RAIRO:, ITA) 36:261\u2013275","journal-title":"RAIRO - Theoretical Informatics and Applications (RAIRO:, ITA)"},{"issue":"3","key":"333_CR7","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time Petri nets. IEEE Trans Software Eng 17(3):259\u2013273","journal-title":"IEEE Trans Software Eng"},{"key":"333_CR8","doi-asserted-by":"crossref","unstructured":"Berthomieu B, Vernadat F (2003) State class constructions for branching analysis of time petri nets. In: 9th international conference on tools and algorithms for the construction and analysis of systems (TACAS 2003), lecture notes in computer science, vol 2619. Springer, Warsaw, pp 442\u2013457","DOI":"10.1007\/3-540-36577-X_33"},{"issue":"1","key":"333_CR9","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1006\/inco.2000.2999","volume":"163","author":"S Bornot","year":"2000","unstructured":"Bornot S, Sifakis J (2000) An algebraic framework for urgency. Inf Comput 163(1):172\u2013202","journal-title":"Inf Comput"},{"issue":"2","key":"333_CR10","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/9.272327","volume":"39","author":"BA Brandin","year":"1994","unstructured":"Brandin BA, Wonham WM (1994) Supervisory control of timed discrete-event systems. IEEE Trans Autom Control 39(2):329\u2013342","journal-title":"IEEE Trans Autom Control"},{"key":"333_CR11","doi-asserted-by":"crossref","unstructured":"Cassez F, David A, Fleury E, Larsen KG, Lime D (2005) Efficient on-the-fly algorithms for the analysis of timed games. In: CONCUR 2005\u2013Concurrency theory. Springer, pp 66\u201380","DOI":"10.1007\/11539452_9"},{"key":"333_CR12","unstructured":"Chatain Th, David A, Larsen KG (2009) Playing games with timed games. In: Giua A, Silva M, Zaytoon J (eds) Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS\u201909). Zaragoza, Spain"},{"key":"333_CR13","doi-asserted-by":"crossref","unstructured":"Chatterjee K, de Alfaro L, Henzinger TA (2012) Strategy improvement for concurrent reachability and safety games coRR","DOI":"10.1016\/j.jcss.2012.12.001"},{"key":"333_CR14","doi-asserted-by":"crossref","unstructured":"De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M (2003) The element of surprise in timed games. In: CONCUR 2003-Concurrency theory. Springer, pp 144\u2013158","DOI":"10.1007\/978-3-540-45187-7_9"},{"key":"333_CR15","doi-asserted-by":"crossref","unstructured":"De Alfaro L, Henzinger TA, Majumdar R (2001) Symbolic algorithms for infinite-state games. In: CONCUR 2001\u2014Concurrency theory. Springer, pp 536\u2013550","DOI":"10.1007\/3-540-44685-0_36"},{"issue":"3","key":"333_CR16","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1016\/j.tcs.2007.07.008","volume":"386","author":"L de Alfaro","year":"2007","unstructured":"de Alfaro L, Henzinger TA, Kupferman O (2007) Concurrent reachability games. Theor Comput Sci 386(3):188\u2013217","journal-title":"Theor Comput Sci"},{"key":"333_CR17","doi-asserted-by":"crossref","unstructured":"Gardey G, Roux OF, Roux OH (2006) Safety control synthesis for time Petri nets. In: 8Th international workshop on discrete event systems (WODES\u201906). IEEE Computer Society Press, Ann Arbor, pp 222\u2013228","DOI":"10.1109\/WODES.2006.1678434"},{"key":"333_CR18","doi-asserted-by":"crossref","unstructured":"Golaszewski C, Ramadge P (1987) Control of discrete event processes with forced events. In: Proceedings of the 26th conference on decision and control","DOI":"10.1109\/CDC.1987.272773"},{"key":"333_CR19","unstructured":"Jard C, Lime D, Roux OH (2012) Clock transition systems. In: 21th international workshop on concurrency, specification and programming (CS&P 2012). Berlin, Germany"},{"key":"333_CR20","doi-asserted-by":"crossref","unstructured":"Lime D, Roux OH, Seidner C, Traonouez LM (2009) Romeo: A parametric model-checker for Petri nets with stopwatches. In: TACAS 2009, Lecture notes in computer science, vol 5505. Springer, York, pp 54\u201357","DOI":"10.1007\/978-3-642-00768-2_6"},{"key":"333_CR21","doi-asserted-by":"crossref","unstructured":"Maler O, Pnueli A, Sifakis J (1995) On the synthesis of discrete controllers for timed systems. In: STACS 95. Springer, pp 229\u2013242","DOI":"10.1007\/3-540-59042-0_76"},{"key":"333_CR22","unstructured":"Microchip (2000) PIC18CXX8 Data Sheet (DS30475A). High-Performance Microcontrollers with CAN Module. http:\/\/ww1.microchip.com\/downloads\/en\/DeviceDoc\/30475a.pdf"},{"issue":"1","key":"333_CR23","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206\u2013230","journal-title":"SIAM J Control Optim"},{"key":"333_CR24","doi-asserted-by":"crossref","unstructured":"Thomas W (1995) On the synthesis of strategies in infinite games. In: STACS 95. Springer, pp 1\u201313","DOI":"10.1007\/3-540-59042-0_57"},{"key":"333_CR25","doi-asserted-by":"crossref","unstructured":"Tripakis S, Altisen K (1999) On-the-fly controller synthesis for discrete and dense-time systems. In: FM\u201999, volume 1708 of LNCS. Springer Verlag, pp 233\u2013252","DOI":"10.1007\/3-540-48119-2_15"},{"key":"333_CR26","doi-asserted-by":"crossref","unstructured":"Wonham WM, Ramadge PJ (1984) On the supremal controllable sublanguage of a given language. In: Decision and control, 1984. The 23rd IEEE conference on, vol 23, pp 1073\u20131080","DOI":"10.1109\/CDC.1984.272178"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-020-00333-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-020-00333-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-020-00333-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,12]],"date-time":"2021-05-12T11:21:28Z","timestamp":1620818488000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-020-00333-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,4]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["333"],"URL":"https:\/\/doi.org\/10.1007\/s10626-020-00333-x","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2021,1,4]]},"assertion":[{"value":"6 March 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 November 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 January 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}