{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,27]],"date-time":"2026-07-27T22:53:21Z","timestamp":1785192801258,"version":"3.55.0"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,4,10]],"date-time":"2024-04-10T00:00:00Z","timestamp":1712707200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,4,10]],"date-time":"2024-04-10T00:00:00Z","timestamp":1712707200000},"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-00396-0","type":"journal-article","created":{"date-parts":[[2024,4,10]],"date-time":"2024-04-10T06:01:51Z","timestamp":1712728911000},"page":"351-374","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Offline analysis of the relaxed upper boundedness for online estimation ofoptimal event sequences in Partially Observable Petri Nets"],"prefix":"10.1007","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2273-991X","authenticated-orcid":false,"given":"P.","family":"Declerck","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,4,10]]},"reference":[{"key":"396_CR1","doi-asserted-by":"crossref","unstructured":"L. Aguirre-Salas, O. Begovich, and A. Ramirez-Trevino, Observability in interpreted Petri nets using sequence invariants. In Proc. of the 41st IEEE Conf. on Decision and Control, volume 4, pp. 3602\u20133607, 2002","DOI":"10.1109\/CDC.2002.1184921"},{"issue":"1","key":"396_CR2","first-page":"3","volume":"45","author":"A Aybar","year":"2009","unstructured":"Aybar A, Iftar A (2009) Decentralized Structural Controller Design for Large-scale Discrete-Event Systems Modelled by Petri Nets. Kybernetika 45(1):3\u201314","journal-title":"Kybernetika"},{"key":"396_CR3","doi-asserted-by":"crossref","unstructured":"F. Arichi, M. Petreczky, M. Djemai, and B. Cherki, Observability and Observer Design of Partially Observed Petri Nets, IFAC-PapersOnLine 48 (27), pp. 27-32, 4, 2015","DOI":"10.1016\/j.ifacol.2015.11.148"},{"key":"396_CR4","doi-asserted-by":"crossref","unstructured":"F. Baccelli, and B. Gaujal, Liveness in Free-Choice Petri Nets- An Algebraic Approach, research report, Inria, 1996","DOI":"10.1109\/9.545714"},{"issue":"9","key":"396_CR5","doi-asserted-by":"publisher","first-page":"2047","DOI":"10.1016\/j.automatica.2012.06.039","volume":"48","author":"F Basile","year":"2012","unstructured":"Basile F, Chiacchio P, De Tommasi G (2012) On K-diagnosability of Petri nets via integer linear programming. Automatica 48(9):2047\u20132058","journal-title":"Automatica"},{"key":"396_CR6","doi-asserted-by":"crossref","unstructured":"T. Becha, R. Kara, S. Collart-Dutilleul, and J. J. Loiseau, Modelling, Analysis and Control of Electroplating Line Modelled by P-Time Event Graphs, in Proc. 6th International Conference on Management and Control of Production and Logistics, Fortaleza, Brazil, pp. 311-316, Sep. 11-13, 2013","DOI":"10.3182\/20130911-3-BR-3021.00027"},{"issue":"1","key":"396_CR7","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s10626-020-00326-w","volume":"31","author":"P Bonhomme","year":"2021","unstructured":"Bonhomme P (2021) Decentralized state estimation and diagnosis of P-time labeled Petri nets systems. Journal of Discrete Event Dynamic Systems 31(1):137\u2013162","journal-title":"Journal of Discrete Event Dynamic Systems"},{"key":"396_CR8","unstructured":"A. Boussif, B. Liu, and M. Ghazel, Diagnosability Analysis of Intermittent Faults in Discrete Event Systems, International Journal of Control, Automation and Systems 17(X), pp. 1-14, 2019"},{"key":"396_CR9","unstructured":"P. Bunus, and P. Fritzson, Methods for structural analysis and debugging of modelica models, in Proc. $$2^{nd}$$ International Modelical Conference, pp.157-165, 2002"},{"issue":"2","key":"396_CR10","first-page":"7991","volume":"8","author":"J-M Cane","year":"2014","unstructured":"Cane J-M, Kubicki A, Michelucci D, Barki H, Foufou S (2014) Re-param\u00e9trisation et r\u00e9duction des syst\u00e8mes irr\u00e9 ductibles. Revue \u00e9lectronique Francophone d\u2019Informatique Graphique 8(2):7991","journal-title":"Revue \u00e9lectronique Francophone d\u2019Informatique Graphique"},{"key":"396_CR11","doi-asserted-by":"crossref","unstructured":"A. Chouchane, P. Declerck, A. Khedher, and A. Kamoun, Diagnostic based on estimation using linear programming for partially observable Petri nets with indistinguishable events, International Journal of Systems Science: Operations & Logistics, pp. 1-14, Taylor & Francis, 2018","DOI":"10.1080\/23302674.2018.1554169"},{"issue":"4","key":"396_CR12","first-page":"479","volume":"58","author":"A Chouchane","year":"2022","unstructured":"Chouchane A, Declerck P (2022) Diagnosis on a sliding horizon for partially observable Petri nets, Kybernetika, International journal of Institute of Information Theory and Automation of The Czech Academy of. Science 58(4):479\u2013497","journal-title":"Science"},{"key":"396_CR13","unstructured":"F. Baccelli, G. Cohen, G.J. Olsder, and J.P. Quadrat Synchronization and Linearity. An Algebra for Discrete Event Systems, Available from http:\/\/maxplus.org, New York, 1992, Wiley"},{"key":"396_CR14","doi-asserted-by":"crossref","unstructured":"P. Declerck and P. Bonhomme, State Estimation of Timed Labeled Petri Nets with Unobservable Transitions, IEEE Transactions on Automation Science and Engineering, Special Issue on Discrete Event Systems for Automation, Vol. 11, No. 1, ITASC9, pp. 103-110, January 2014","DOI":"10.1109\/TASE.2013.2290314"},{"key":"396_CR15","doi-asserted-by":"crossref","unstructured":"P. Declerck, Counter approach for the estimation of optimal sequences in Partially Observable Untimed Petri Nets, Journal of Discrete Event Dynamic Systems, 2021","DOI":"10.1007\/s10626-021-00341-5"},{"key":"396_CR16","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2023.2204977","author":"P Declerck","year":"2023","unstructured":"Declerck P, Bonhomme P (2023) Two-staged Approach for Estimation of sequences in Partially Observable P-time Petri Nets on a sliding horizon with schedulability analysis. International Journal of Control. https:\/\/doi.org\/10.1080\/00207179.2023.2204977","journal-title":"International Journal of Control"},{"key":"396_CR17","unstructured":"P. Declerck, and M. Staroswiecki, Identification of structurally solvable sub-systems for the design of Fault Detection and Isolation Schemes, using the Embedding Procedure, 9th IFAC\/IFORS Symposium on Identification and System Parameter Estimation, pp. 230-235, Vol.1, Budapest, Hungary, July 8-12, 1991"},{"key":"396_CR18","unstructured":"P. Declerck, and M. Staroswiecki, Characterization of the Canonical Components of a Structural Graph for Fault Detection in Large Scale Industrial Plants, First European Control Conference, ECC\u201991, pp. 298-303, Vol.1, Grenoble, France, July 2-5, 1991"},{"key":"396_CR19","unstructured":"F. Defossez, S. Collart-Dutilleul, and P. Bon, Temporal requirements checking in a safety analysis of railway systems, FORMS\/FORMAT 2008, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, TU Braunschweig and Budapest University of Technology and Economics, October, 2008"},{"issue":"11","key":"396_CR20","doi-asserted-by":"publisher","first-page":"2665","DOI":"10.1016\/j.automatica.2009.07.021","volume":"45","author":"M Dotoli","year":"2009","unstructured":"Dotoli M, Fanti MP, Mangini AM (2009) Fault detection of discrete event systems by Petri nets and integer linear programming. Automatica 45(11):2665\u20132672","journal-title":"Automatica"},{"key":"396_CR21","doi-asserted-by":"publisher","first-page":"517","DOI":"10.4153\/CJM-1958-052-0","volume":"10","author":"AL Dulmage","year":"1958","unstructured":"Dulmage AL, Mendelsohn NS (1958) Covering of bipartite graphs. Canadian J. Math 10:517\u2013534","journal-title":"Canadian J. Math"},{"key":"396_CR22","unstructured":"A. L. Dulmage, and N. S. Mendelsohn, A structure theory of bipartite graphs of finite exterior dimension, Trans. of Royal Soc. Canada, Section III, 53, pp. 1-13, 1959"},{"key":"396_CR23","unstructured":"F. Ahmad, H. Huang, and X. Wang, A Technique for Reachability Graph Generation for the Petri Net Models of Parallel Processes, International Journal of Computer and Information Engineering, Vol: 3, No: 3, 2009"},{"issue":"5","key":"396_CR24","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.1109\/TSMCA.2012.2189877","volume":"42","author":"E Frisk","year":"2012","unstructured":"Frisk E, Bregon A, Aslund J, Krysander M, Pulido B, Biswas G (2012) Diagnosability Analysis Considering Causal Interpretations for Differential Constraints, IEEE transactions on systems, man and cybernetics. Part A. Systems and humans 42(5):1216\u20131229","journal-title":"Part A. Systems and humans"},{"key":"396_CR25","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10626-016-0234-5","volume":"27","author":"HE Gougam","year":"2017","unstructured":"Gougam HE, Pencol\u00e9 Y, Subias A (2017) Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. Discrete Event Dynamic Systems 27:143\u2013180","journal-title":"Discrete Event Dynamic Systems"},{"key":"396_CR26","doi-asserted-by":"crossref","unstructured":"J. Komenda, S. Lahaye, J-L. Boimond, and T. van den Boom, Max-plus algebra in the history of discrete event systems, Annual Reviews in Control. 45. 10.1016\/j.arcontrol.2018.04.004, 2018","DOI":"10.1016\/j.arcontrol.2018.04.004"},{"issue":"7","key":"396_CR27","doi-asserted-by":"publisher","first-page":"1919","DOI":"10.1109\/TAC.2013.2294617","volume":"59","author":"D Lefebvre","year":"2014","unstructured":"Lefebvre D (2014) On-Line Fault Diagnosis With Partially Observed Petri Nets. IEEE Transactions on Automatic Control 59(7):1919\u20131924","journal-title":"IEEE Transactions on Automatic Control"},{"key":"396_CR28","doi-asserted-by":"crossref","unstructured":"L.Li, Y. Li, B. Liu, and W. Wu. Least-Cost Transition Sequence Estimation in Labeled Time Petri Net Systems with Unobservable Transitions, International Journal of Control, pp 1-14, 10.1080\/00207179.2022.2121764, 2022","DOI":"10.1080\/00207179.2022.2121764"},{"key":"396_CR29","volume-title":"Sur l\u2019utilisation des dioides pour la commande des syst\u00e8mes \u00e0 \u00e9v\u00e9nements discrets","author":"L Libeaut","year":"1996","unstructured":"Libeaut L (1996) Sur l\u2019utilisation des dioides pour la commande des syst\u00e8mes \u00e0 \u00e9v\u00e9nements discrets. Ph.D, Nantes"},{"key":"396_CR30","doi-asserted-by":"publisher","first-page":"970","DOI":"10.1109\/TSMCA.2012.2183358","volume":"42","author":"C Mahulea","year":"2012","unstructured":"Mahulea C, Seatzu C, Cabasino M, Silva M (2012) Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics 42:970\u2013984","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"396_CR31","doi-asserted-by":"crossref","unstructured":"Murata T (Apr. 1989) Petri Nets: Properties. Analysis and Applications, in PROCEEDINGS OF THE IEEE 77(4):541\u2013580","DOI":"10.1109\/5.24143"},{"key":"396_CR32","doi-asserted-by":"crossref","unstructured":"K. Murota, Systems Analysis by Graphs and Matroids. Structural solvability and controllability, Algorithms and Combinatorics 3, Springer-Verlag, 1987","DOI":"10.1007\/978-3-642-61586-3"},{"key":"396_CR33","doi-asserted-by":"crossref","unstructured":"Pothen A, Fan C-J (December 1990) Computing the Block Triangular Form of a Sparse Matrix. ACM Transactions on Mathematical Software 16(4):303\u2013324","DOI":"10.1145\/98267.98287"},{"issue":"8","key":"396_CR34","doi-asserted-by":"publisher","first-page":"1751","DOI":"10.1109\/TAC.2010.2042348","volume":"55","author":"Y Ru","year":"2010","unstructured":"Ru Y, Hadjicostis CN (2010) Sensor selection for structural observability indiscrete event systems modeled by Petri nets. IEEE Trans. Autom. Control 55(8):1751\u20131764","journal-title":"IEEE Trans. Autom. Control"},{"key":"396_CR35","doi-asserted-by":"crossref","unstructured":"K. Schmidt, Using Petri Net Invariants in State Space Construction, Proc. of Tools and Algorithms for the Construction and Analysis of Systems TACAS, LNCS, vol. 2619, Springer, pp. 473-488, 2003","DOI":"10.1007\/3-540-36577-X_35"},{"key":"396_CR36","doi-asserted-by":"crossref","unstructured":"V. M. Savi, and X. Xie, Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules, Lecture Notes in Computer Science book series (LNCS,volume 616), International Conference on Application and Theory of Petri Nets, pp 328\u2013347, 1992","DOI":"10.1007\/3-540-55676-1_19"},{"key":"396_CR37","doi-asserted-by":"crossref","unstructured":"H. Yue, S. Xu, G. Zhou, H. Hu, Y. Guo, and J. Zhang, Estimation of least-cost transition firing sequences in labeled Petri nets by using basis reachability graph, IEEE Access, pp. 1-1. 10.1109\/ACCESS.2019.295205, 2019","DOI":"10.1109\/ACCESS.2019.2952056"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-024-00396-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-024-00396-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-024-00396-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,16]],"date-time":"2024-11-16T00:20:23Z","timestamp":1731716423000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-024-00396-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,10]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["396"],"URL":"https:\/\/doi.org\/10.1007\/s10626-024-00396-0","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,4,10]]},"assertion":[{"value":"7 June 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 February 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 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 have no conflict of interest to declare that are relevant to this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}}]}}