{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T23:29:22Z","timestamp":1774049362910,"version":"3.50.1"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,5,9]],"date-time":"2025-05-09T00:00:00Z","timestamp":1746748800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,5,9]],"date-time":"2025-05-09T00:00:00Z","timestamp":1746748800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"RIN ASSAILLANT Project","award":["ANR-22-CE10-0002"],"award-info":[{"award-number":["ANR-22-CE10-0002"]}]},{"name":"the Region Normandie, Franc"},{"name":"Le Havre Seine Metropole"},{"name":"MIUR Progetti di Ricerca di Rilevante Interesse Nazionale","award":["CUP:20228XEHRE"],"award-info":[{"award-number":["CUP:20228XEHRE"]}]},{"name":"Universit\u00e9 Le Havre Normandie"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2025,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>This paper is about state estimation of timed probabilistic discrete event systems. The main contribution is to propose general procedures for developing state estimation approaches based on artificial neural networks. It is assumed that no formal model of the system exists but a data set is available, which contains the history of the timed behaviour of the system. This dataset is exploited to develop a neural network model that uses both logical and temporal information gathered during the functioning of the system as inputs and provides the state probability vector as output. Two main approaches are proposed: (<jats:bold>\n              <jats:italic>i<\/jats:italic>\n            <\/jats:bold>) state estimation of timed probabilistic discrete event systems over observations: in this case the state estimate is reconstructed at the occurrence of each new observation; (<jats:bold>\n              <jats:italic>ii<\/jats:italic>\n            <\/jats:bold>) state estimation of timed probabilistic discrete event systems over time: in this case the state estimate is reconstructed at each clock time increment. For each approach, the paper outlines the process of data preprocessing, model building and implementation. The presented approaches pave the way for further applications of machine learning in discrete event systems.<\/jats:p>","DOI":"10.1007\/s10626-025-00414-9","type":"journal-article","created":{"date-parts":[[2025,5,9]],"date-time":"2025-05-09T03:33:20Z","timestamp":1746761600000},"page":"107-135","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["State estimation of timed probabilistic discrete event systems via artificial neural networks"],"prefix":"10.1007","volume":"35","author":[{"given":"Omar","family":"Amri","sequence":"first","affiliation":[]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[]},{"given":"Dimitri","family":"Lefebvre","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,5,9]]},"reference":[{"key":"414_CR1","doi-asserted-by":"publisher","unstructured":"Aalst W (2012) Process mining: Overview and opportunities. ACM Trans Manage Inf Syst 3(2). https:\/\/doi.org\/10.1145\/2229156.2229157","DOI":"10.1145\/2229156.2229157"},{"key":"414_CR2","unstructured":"AnalytixLabs (2024) Activation Functions In Neural Networks: Its Components, Uses & Types. Accessed: 2024-07-15. https:\/\/medium.com\/@byanalytixlabs\/activation-functions-in-neural-networks-its-components-uses-types-23cfc9a7a6d7"},{"issue":"3","key":"414_CR3","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1109\/TSMC.2014.2353575","volume":"45","author":"P Bonhomme","year":"2015","unstructured":"Bonhomme P (2015) Marking estimation of p-time petri nets with unobservable transitions. IEEE Trans Syst, Man, Cybern: Syst 45(3):508\u2013518. https:\/\/doi.org\/10.1109\/TSMC.2014.2353575","journal-title":"IEEE Trans Syst, Man, Cybern: Syst"},{"key":"414_CR4","doi-asserted-by":"publisher","unstructured":"Caines PE, Greiner R, Wang S (1988) Dynamical logic observers for finite automata. In: Proceedings of the 27th ieee conference on decision and control, pp 226\u20132331. https:\/\/doi.org\/10.1109\/CDC.1988.194300","DOI":"10.1109\/CDC.1988.194300"},{"key":"414_CR5","doi-asserted-by":"crossref","unstructured":"Cassandras CG, Lafortune S (2007) Introduction to Discrete Event Systems,","DOI":"10.1007\/978-0-387-68612-7"},{"key":"414_CR6","unstructured":"Chollet F (2021) Deep Learning with Python. Simon and Schuster,"},{"key":"414_CR7","doi-asserted-by":"publisher","unstructured":"Estrada-Vargas AP, L\u00f3pez-Mellado E, Lesage J-J (2010) A comparative analysis of recent identification approaches for discrete-event systems. Mathematical Problems in Engineering 2010(1):453254. https:\/\/doi.org\/10.1155\/2010\/453254https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1155\/2010\/453254","DOI":"10.1155\/2010\/453254"},{"key":"414_CR8","unstructured":"Farquha S, Gal Y (2022) What \u2018out-of-distribution\u2019 is and is not"},{"key":"414_CR9","doi-asserted-by":"publisher","unstructured":"Gao C, Lefebvre D, Seatzu C, Li Z, Giua A (2020) A region-based approach for state estimation of timed automata under no event observation. In: 2020 25th IEEE international conference on emerging technologies and factory automation (ETFA), vol 1, pp 799\u2013804. https:\/\/doi.org\/10.1109\/ETFA46521.2020.9211942","DOI":"10.1109\/ETFA46521.2020.9211942"},{"key":"414_CR10","unstructured":"G\u00e9ron A (2019) Hands-on Machine Learning with Scikit-Learn, Keras & TensorFlow,"},{"issue":"9","key":"414_CR11","doi-asserted-by":"publisher","first-page":"1424","DOI":"10.1109\/TAC.2002.802769","volume":"47","author":"A Giua","year":"2002","unstructured":"Giua A, Seatzu C (2002) Observability of place\/transition nets. IEEE Trans Automat Contr 47(9):1424\u20131437. https:\/\/doi.org\/10.1109\/TAC.2002.802769","journal-title":"IEEE Trans Automat Contr"},{"issue":"9","key":"414_CR12","doi-asserted-by":"publisher","first-page":"1695","DOI":"10.1109\/TAC.2007.904281","volume":"52","author":"A Giua","year":"2007","unstructured":"Giua A, Seatzu C, Corona D (2007) Marking estimation of petri nets with silent transitions. IEEE Trans Automat Contr 52(9):1695\u20131699. https:\/\/doi.org\/10.1109\/TAC.2007.904281","journal-title":"IEEE Trans Automat Contr"},{"key":"414_CR13","doi-asserted-by":"publisher","unstructured":"Hu L, Liu Z, Hu W, Wang Y, Tan J, Wu F (2020) Petri-net-based dynamic scheduling of flexible manufacturing system via deep reinforcement learning with graph convolutional network. J Manufact Syst 55:1\u201314. https:\/\/doi.org\/10.1016\/j.jmsy.2020.02.004","DOI":"10.1016\/j.jmsy.2020.02.004"},{"issue":"3","key":"414_CR14","doi-asserted-by":"publisher","first-page":"1582","DOI":"10.1109\/TAC.2021.3069899","volume":"67","author":"A Lai","year":"2022","unstructured":"Lai A, Lahaye S, Komenda J (2022) Observer construction for polynomially ambiguous max-plus automata. IEEE Trans Automat Contr 67(3):1582\u20131588. https:\/\/doi.org\/10.1109\/TAC.2021.3069899","journal-title":"IEEE Trans Automat Contr"},{"key":"414_CR15","doi-asserted-by":"publisher","unstructured":"Lefebvre D, Hadjicostis CN (2022) Diagnosability of fault patterns with labeled stochastic petri nets. Inf Sci 593:341\u2013363. https:\/\/doi.org\/10.1016\/j.ins.2022.01.061","DOI":"10.1016\/j.ins.2022.01.061"},{"key":"414_CR16","doi-asserted-by":"publisher","unstructured":"Lefebvre D, Seatzu C, Hadjicostis CN, Giua A (2022) Correction to: Probabilistic state estimation for labeled continuous time markov models with applications to attack detection 32:539\u2013544. https:\/\/doi.org\/10.1007\/s10626-022-00364-6","DOI":"10.1007\/s10626-022-00364-6"},{"key":"414_CR17","doi-asserted-by":"publisher","unstructured":"Lefebvre D, Seatzu C, Hadjicostis CN, Giua A (2022) Probabilistic state estimation for labeled continuous time markov models with applications to attack detection 32:65\u201388. https:\/\/doi.org\/10.1007\/s10626-021-00348-y","DOI":"10.1007\/s10626-021-00348-y"},{"key":"414_CR18","doi-asserted-by":"publisher","unstructured":"Lefebvre D, Seatzu C, Hadjicostis CN, Giua A (2023) Logical and probabilistic aspects of state estimation for markovian systems. In: 2023 62nd IEEE conference on decision and control (CDC), pp 6929\u20136935. https:\/\/doi.org\/10.1109\/CDC49753.2023.10383800","DOI":"10.1109\/CDC49753.2023.10383800"},{"issue":"2","key":"414_CR19","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1109\/TAC.2021.3064542","volume":"67","author":"J Li","year":"2022","unstructured":"Li J, Lefebvre D, Hadjicostis CN, Li Z (2022) Observers for a class of timed automata based on elapsed time graphs. IEEE Trans Automat Contr 67(2):767\u2013779. https:\/\/doi.org\/10.1109\/TAC.2021.3064542","journal-title":"IEEE Trans Automat Contr"},{"key":"414_CR20","doi-asserted-by":"publisher","unstructured":"Luo J, Yi S, Lin Z, Zhang H, Zhou J (2024) Petri-net-based deep reinforcement learning for real-time scheduling of automated manufacturing systems. J Manufact Syst 74:995\u20131008. https:\/\/doi.org\/10.1016\/j.jmsy.2024.05.006","DOI":"10.1016\/j.jmsy.2024.05.006"},{"issue":"7","key":"414_CR21","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1109\/9.57018","volume":"35","author":"CM Ozveren","year":"1990","unstructured":"Ozveren CM, Willsky AS (1990) Observability of discrete event dynamic systems. IEEE Trans Automat Contr 35(7):797\u2013806. https:\/\/doi.org\/10.1109\/9.57018","journal-title":"IEEE Trans Automat Contr"},{"issue":"3","key":"414_CR22","doi-asserted-by":"publisher","first-page":"3012","DOI":"10.1109\/TASE.2023.3272983","volume":"21","author":"H Qi","year":"2024","unstructured":"Qi H, Guang M, Wang J, Yan C, Jiang C (2024) Probabilistic reachability prediction of unbounded petri nets: A machine learning method. IEEE Trans Automat Sci Eng 21(3):3012\u20133024. https:\/\/doi.org\/10.1109\/TASE.2023.3272983","journal-title":"IEEE Trans Automat Sci Eng"},{"issue":"2","key":"414_CR23","doi-asserted-by":"publisher","first-page":"1070","DOI":"10.1109\/TSMC.2023.3323342","volume":"54","author":"H Qi","year":"2024","unstructured":"Qi H, Wang J, Yan C, Jiang C (2024) The probabilistic liveness decision method of unbounded petri nets based on machine learning. IEEE Trans Syst, Man, Cybern: Syst 54(2):1070\u20131081. https:\/\/doi.org\/10.1109\/TSMC.2023.3323342","journal-title":"IEEE Trans Syst, Man, Cybern: Syst"},{"key":"414_CR24","unstructured":"Radhakrishnan P (2017) What are Hyperparameters ? and How to tune the Hyperparameters in a Deep Neural Network? Accessed: 2024-06-10. https:\/\/shorturl.at\/hnOLE"},{"key":"414_CR25","doi-asserted-by":"publisher","unstructured":"Ramadge PJ (1986) Observability of discrete event systems. In: 1986 25th IEEE conference on decision and control, pp 1108\u20131112. https:\/\/doi.org\/10.1109\/CDC.1986.267551","DOI":"10.1109\/CDC.1986.267551"},{"key":"414_CR26","doi-asserted-by":"publisher","unstructured":"Ramla\u00a0Saddem DB, Teingua APW (2024) Autoencoder-based method for online fault detection in discrete-event class production systems. In: 17th IFAC workshop on discrete event systems WODES 2024, vol 58, pp 228\u2013233. https:\/\/doi.org\/10.1016\/j.ifacol.2024.07.039","DOI":"10.1016\/j.ifacol.2024.07.039"},{"key":"414_CR27","doi-asserted-by":"publisher","unstructured":"Saddem R, Baptiste D (2022) Machine learning-based approach for online fault diagnosis of discrete event system. IFAC-PapersOnLine 55(28):337\u2013343. https:\/\/doi.org\/10.1016\/j.ifacol.2022.10.363. 16th IFAC Workshop on Discrete Event Systems WODES 2022","DOI":"10.1016\/j.ifacol.2022.10.363"},{"issue":"12","key":"414_CR28","doi-asserted-by":"publisher","first-page":"3054","DOI":"10.1016\/j.automatica.2008.05.025","volume":"44","author":"S Shu","year":"2008","unstructured":"Shu S, Lin F, Ying H, Chen X (2008) State estimation and detectability of probabilistic discrete event systems. Automatic 44(12):3054\u20133060. https:\/\/doi.org\/10.1016\/j.automatica.2008.05.025","journal-title":"Automatic"},{"key":"414_CR29","unstructured":"Shu S, Lin F, Ying H (2006) Detectability of nondeterministic discrete event systems. In: In Proceedings of DCABES, pp 1040\u20131044"},{"key":"414_CR30","doi-asserted-by":"publisher","unstructured":"Wang X, Mahulea C, J\u00falvez J, Silva M (2011) On state estimation of timed choice-free petri nets. IFAC Proceed Vol 44(1):8687\u20138692. https:\/\/doi.org\/10.3182\/20110828-6-IT-1002.01523. 18th IFAC World Congress","DOI":"10.3182\/20110828-6-IT-1002.01523"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-025-00414-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-025-00414-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-025-00414-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T06:21:39Z","timestamp":1749190899000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-025-00414-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,9]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["414"],"URL":"https:\/\/doi.org\/10.1007\/s10626-025-00414-9","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,5,9]]},"assertion":[{"value":"25 September 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 April 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 May 2025","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 no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing Interests"}}]}}