{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:55:52Z","timestamp":1761598552567},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T00:00:00Z","timestamp":1712534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T00:00:00Z","timestamp":1712534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2024,6]]},"DOI":"10.1007\/s10626-024-00398-y","type":"journal-article","created":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T02:05:37Z","timestamp":1712541937000},"page":"333-350","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs"],"prefix":"10.1007","volume":"34","author":[{"given":"Jihene","family":"Rajah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Said","family":"Amari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maher","family":"Barkallah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Haddar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,4,8]]},"reference":[{"key":"398_CR1","doi-asserted-by":"crossref","unstructured":"Atli M, Adjallah K, Achour Z, Sava A, Rezg N (2011) Supervisory control of timed-place marked graph based on Marking Exclusion Constraint. IEEE International Conference on Communications, Computing and Control Applications(CCCA\u201911), Tunis, Tunisia\u00a01\u20138\u00a0","DOI":"10.1109\/CCCA.2011.6031518"},{"issue":"4","key":"398_CR2","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1016\/j.cie.2011.07.004","volume":"61","author":"AM Atto","year":"2011","unstructured":"Atto AM, Martinez C, Amari S (2011) Control of discrete event systems with respect to strict duration: Supervision of an industrial manufacturing plant. Computers and Industrial Engineering Elsevier 61(4):1149\u20131159","journal-title":"Computers and Industrial Engineering Elsevier"},{"key":"398_CR3","unstructured":"Baccelli F, Cohen G, Olsder G, Quadrat J (1992) Synchronization and Linearity: An algebra for Discrete Event\u00a0Systems. Wiley 2: New York"},{"key":"398_CR4","doi-asserted-by":"crossref","unstructured":"Basile F, Cordone R, Piroddi L (2021) Supervisory control of timed discrete event systems with logical and timed specifications. IEEE Trans Autom Control\u00a067(6):2800\u20132815","DOI":"10.1109\/TAC.2021.3093618"},{"issue":"9","key":"398_CR5","first-page":"426","volume":"94","author":"RMF Candido","year":"2018","unstructured":"Candido RMF, Hardouin L, Lhommeau M, Santos-Mendes R (2018) Conditional reachability of uncertain Max-Plus linear systems. Au- Tomatica 94(9):426\u2013435","journal-title":"Au- Tomatica"},{"key":"398_CR6","doi-asserted-by":"crossref","unstructured":"Cassandras CG, Lafortune S (2009) Introduction to Discrete Event Systems (2nd Edition). Springer Science & Business Media, New York: USA","DOI":"10.1007\/978-0-387-68612-7"},{"issue":"5","key":"398_CR7","doi-asserted-by":"publisher","first-page":"1219","DOI":"10.1109\/TAC.2013.2294822","volume":"59","author":"B Cottenceau","year":"2013","unstructured":"Cottenceau B, Hardouin L, Boimond JL (2013) Modeling and control for balanced timed and weighted event graphs in dioid. IEEE Trans Autom Control 59(5):1219\u20131231","journal-title":"IEEE Trans Autom Control"},{"issue":"8","key":"398_CR8","doi-asserted-by":"publisher","first-page":"4370","DOI":"10.1109\/TAC.2022.3176841","volume":"67","author":"G Espindola-Winck","year":"2022","unstructured":"Espindola-Winck G, Hardouin L, Lhommeau M, Santos-Mendes R (2022) Stochastic filtering scheme of implicit forms of uncertain Max-Plus linear systems. IEEE Trans Autom Control 67(8):4370\u20134376","journal-title":"IEEE Trans Autom Control"},{"key":"398_CR9","first-page":"974","volume":"2","author":"A Giua","year":"1992","unstructured":"Giua A, DiCesare F, Silva M (1992) Generalized mutual exclusion constraints on Petri nets with uncontrollable transitions. In Proceedi- Ngs IEEE International Conference on Systems Man and Cybernetics 2:974\u2013979","journal-title":"In Proceedi- Ngs IEEE International Conference on Systems Man and Cybernetics"},{"issue":"3","key":"398_CR10","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s10626-012-0143-1","volume":"23","author":"L Houssin","year":"2013","unstructured":"Houssin L, Lahaye S, Boimond JL (2013) Control of (max,+)-linear systems minimizing delays. Discrete Event Dynamic Systems, Springer Verlag 23(3):261\u2013276","journal-title":"Discrete Event Dynamic Systems, Springer Verlag"},{"key":"398_CR11","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10626-006-0021-9","volume":"16","author":"MV Iordache","year":"2006","unstructured":"Iordache MV, Antsaklis PJ (2006) Supervision Based on Place Invariants: A Survey. Discrete Event Dynamic Systems 16:451\u2013492","journal-title":"Discrete Event Dynamic Systems"},{"issue":"8","key":"398_CR12","doi-asserted-by":"publisher","first-page":"880","DOI":"10.1080\/0951192X.2016.1224391","volume":"30","author":"R Jacob","year":"2017","unstructured":"Jacob R, Amari S (2017) Output Feedback Control of Discrete Processes under Time Constraint: Application to Cluster Tools. Internati- Onal Journal of Computer Integrated Manufacturing 30(8):880\u2013894","journal-title":"Internati- Onal Journal of Computer Integrated Manufacturing"},{"issue":"2","key":"398_CR13","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1109\/TAC.2006.890478","volume":"52","author":"R Katz","year":"2007","unstructured":"Katz R (2007) Max-Plus (A, B)-invariant spaces and control of timed discrete-event systems. IEEE Trans Autom Control 52(2):229\u2013241","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"398_CR14","doi-asserted-by":"publisher","first-page":"1189","DOI":"10.1109\/TASE.2015.2404921","volume":"13","author":"C Kim","year":"2016","unstructured":"Kim C, Lee TE (2016) Feedback control of cluster tools for regulating wafer delays. IEEE Trans Autom Sci Eng 13(2):1189\u20131199","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"1","key":"398_CR15","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1109\/TAC.2019.2914895","volume":"65","author":"L Li","year":"2019","unstructured":"Li L, Basile F, Li Z (2019) An approach to improve permissiveness of supervisors for GMECs in time Petri net systems. IEEE Trans Autom Control 65(1):237\u2013251","journal-title":"IEEE Trans Autom Control"},{"issue":"11","key":"398_CR16","doi-asserted-by":"publisher","first-page":"5326","DOI":"10.1109\/TAC.2020.3044520","volume":"66","author":"L Li","year":"2020","unstructured":"Li L, Basile F, Li Z (2020) Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems. IEEE Trans Autom Control 66(11):5326\u20135341","journal-title":"IEEE Trans Autom Control"},{"key":"398_CR17","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1016\/j.ins.2021.09.047","volume":"580","author":"L Li","year":"2021","unstructured":"Li L, Basile F, Wang J (2021) An approach for enforcing a class of GMECs on time Petri net with uncontrollable transitions. Inf Sci 580:897\u2013916","journal-title":"Inf Sci"},{"key":"398_CR18","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1016\/j.automatica.2016.07.042","volume":"74","author":"ZY Ma","year":"2016","unstructured":"Ma ZY, Li ZW, Giua A (2016) Petri Net Controllers for Generalized Mutual Exclusion Constraints with Floor Operators. Automatica 74:238\u2013246","journal-title":"Automatica"},{"issue":"5","key":"398_CR19","doi-asserted-by":"publisher","first-page":"988","DOI":"10.1016\/j.automatica.2011.01.047","volume":"47","author":"CA Maia","year":"2011","unstructured":"Maia CA, Andrade CR, Hardouin L (2011) On the control of Max-Plus linear system subject to state restriction. Automatica 47(5):988\u2013992","journal-title":"Automatica"},{"key":"398_CR20","doi-asserted-by":"crossref","unstructured":"Maia CA, Andrade CR, Hardouin L, Cury JER (2013) Some results on the feedback control of Max-Plus linear systems under state constraints. In: Decision and Control (CDC) IEEE 52nd Annual Conference: 6992\u20136997","DOI":"10.1109\/CDC.2013.6760997"},{"issue":"9","key":"398_CR21","doi-asserted-by":"publisher","first-page":"3706","DOI":"10.1109\/TAC.2018.2887353","volume":"64","author":"RS Mendes","year":"2019","unstructured":"Mendes RS, Hardouin L, Lhommeau M (2019) Stochastic filtering of Max-Plus linear systems with bounded disturbances. IEEE Trans Autom Control 64(9):3706\u20133715","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"398_CR22","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets Properties analysis and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"key":"398_CR23","unstructured":"Ramchandani C (1973) Analysis of asynchronous concurrent systems by timed Petru nets. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA.\u00a0https:\/\/hdl.handle.net\/1721.1\/149425"},{"key":"398_CR24","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/3-540-10001-6_30","volume":"84","author":"J Sifakis","year":"1980","unstructured":"Sifakis J (1980) Performance evaluation of systems using nets. Net Theory and Applications 84:307\u2013319","journal-title":"Net Theory and Applications"},{"key":"398_CR25","unstructured":"Sifakis J (1977)\u00a0Use of Petri nets for performance evaluation. Conference Measuring, Modelling and Evaluating Computer Systems, Proceedings of the third International Symposium, Bonn-Bad Godesberg, Germany 3\u20135"},{"key":"398_CR26","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/j.arcontrol.2018.03.004","volume":"45","author":"M Silva","year":"2018","unstructured":"Silva M (2018) On the history of Discrete Event Systems. Annu Rev Control 45:213\u2013222","journal-title":"Annu Rev Control"},{"issue":"4","key":"398_CR27","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1080\/00207721.2020.1837992","volume":"52","author":"P \u0160pa\u010dek","year":"2021","unstructured":"\u0160pa\u010dek P, Komenda J, Lahaye S (2021) Analysis of P-time event graphs in (max,+) and (min,+) semirings. Int J Syst Sci 52(4):694\u2013709","journal-title":"Int J Syst Sci"},{"key":"398_CR28","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.ejcon.2020.12.002","volume":"57","author":"K Tebani","year":"2021","unstructured":"Tebani K, Amari S (2021) Min-Plus realizable control design for partially observable timed event graphs under marking constraints. Eur J Control 57:33\u201340","journal-title":"Eur J Control"},{"issue":"3","key":"398_CR29","first-page":"1","volume":"21","author":"K Tebani","year":"2019","unstructured":"Tebani K, Amari S, Kara R (2019) State Feedback Control for a class of Timed Petri Nets subject to marking constraints. Asian Journal of Control 21(3):1\u201318","journal-title":"Asian Journal of Control"},{"issue":"1","key":"398_CR30","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0005-1098(95)00103-4","volume":"32","author":"K Yamalidou","year":"1996","unstructured":"Yamalidou K, Moody J, Lemmon M, Antsaklis P (1996) Feedback control Petri net based on place Invariant. Automatica 32(1):15\u201328","journal-title":"Automatica"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-024-00398-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-024-00398-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-024-00398-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,28]],"date-time":"2024-05-28T17:50:47Z","timestamp":1716918647000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-024-00398-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,8]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["398"],"URL":"https:\/\/doi.org\/10.1007\/s10626-024-00398-y","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,4,8]]},"assertion":[{"value":"20 April 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 March 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 April 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}