{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T03:17:13Z","timestamp":1775618233728,"version":"3.50.1"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T00:00:00Z","timestamp":1740700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T00:00:00Z","timestamp":1740700800000},"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":[[2025,3]]},"DOI":"10.1007\/s10626-025-00410-z","type":"journal-article","created":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T10:46:31Z","timestamp":1740739591000},"page":"23-49","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Structural analysis and sequential resolution for estimation of guaranteed horizons in partially observable Petri nets"],"prefix":"10.1007","volume":"35","author":[{"given":"Philippe","family":"Declerck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,28]]},"reference":[{"key":"410_CR1","doi-asserted-by":"crossref","unstructured":"Basile F, Chiacchio P, De Tommasi G (2012) On K-diagnosability of Petri nets via integer linear programming. Autom 48(9):2047\u20132058","DOI":"10.1016\/j.automatica.2012.06.039"},{"key":"410_CR2","doi-asserted-by":"crossref","unstructured":"Becha T, Kara R, Collart-Dutilleul S, Loiseau JJ (2013) 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","DOI":"10.3182\/20130911-3-BR-3021.00027"},{"issue":"1","key":"410_CR3","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. J Discret Event Dyn Syst 31(1):137\u2013162","journal-title":"J Discret Event Dyn Syst"},{"key":"410_CR4","unstructured":"Bunus P, Fritzson P (2002) Methods for structural analysis and debugging of modelica models. in Proc. $$2^{nd}$$ International modelical conference, pp157-165"},{"key":"410_CR5","unstructured":"Cane J-M, Kubicki A, Michelucci D, Barki H, Foufou S (2014) Re-param\u00e9trisation et r\u00e9duction des syst\u00e8mes irr\u00e9ductibles. Rev \u00c9lectr Francoph d\u2019Informatique Graphique 8(2):79\u201391"},{"key":"410_CR6","doi-asserted-by":"crossref","unstructured":"Chouchane et AP (2022) Declerck, Diagnosis on a sliding horizon for partially observable Petri nets, Kybernetika. Int J Inst Inf Theory Autom Czech Acad Sci 58(4):479-497","DOI":"10.14736\/kyb-2022-4-0479"},{"key":"410_CR7","doi-asserted-by":"crossref","unstructured":"Chouchane A, Declerck P, Khedher A, Kamoun A (2018) Diagnostic based on estimation using linear programming for partially observable Petri nets with indistinguishable events. Int J Syst Sci Oper Logist Taylor & Francis, pp 1-14","DOI":"10.1080\/23302674.2018.1554169"},{"key":"410_CR8","doi-asserted-by":"crossref","unstructured":"Declerck P (2021) Counter approach for the estimation of optimal sequences in Partially Observable Untimed Petri Nets. J Discret Event Dyn Syst","DOI":"10.1007\/s10626-021-00341-5"},{"key":"410_CR9","doi-asserted-by":"crossref","unstructured":"Declerck P (2024) Offline analysis of the relaxed upper boundedness for online estimation of optimal event sequences in partially observable Petri nets. J Discret Event Dyn Syst","DOI":"10.1007\/s10626-024-00396-0"},{"key":"410_CR10","doi-asserted-by":"crossref","unstructured":"Declerck P, Bonhomme P (2014) State estimation of timed labeled Petri nets with unobservable transitions. IEEE Trans Autom Sci Eng Spec Issue Discret Event Syst Autom ITASC9 11(1):103-110","DOI":"10.1109\/TASE.2013.2290314"},{"key":"410_CR11","doi-asserted-by":"crossref","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. Int J Control","DOI":"10.1080\/00207179.2023.2204977"},{"key":"410_CR12","unstructured":"Declerck P, Staroswiecki M (1991a) 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, vol 1. Budapest, Hungary, pp 230-235"},{"key":"410_CR13","unstructured":"Declerck P, Staroswiecki M (1991b) Characterization of the Canonical Components of a structural graph for fault detection in large scale industrial plants. 1st European control conference, ECC\u201991, vol 1. Grenoble, France, pp 298-303"},{"key":"410_CR14","unstructured":"Defossez F, Collart-Dutilleul S, Bon P (2008) 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"},{"key":"410_CR15","doi-asserted-by":"crossref","unstructured":"Dideban A Zeraatkar H (2018) Petri Net controller synthesis based on decomposed manufacturing models, ISA Transactions, pp 1\u201310","DOI":"10.1016\/j.isatra.2018.04.008"},{"issue":"11","key":"410_CR16","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. Autom 45(11):2665\u20132672","journal-title":"Autom"},{"key":"410_CR17","unstructured":"Dulmage AL. Mendelsohn NS (1959) A structure theory of bipartite graphs of finite exterior dimension. Trans of Royal Soc. Canada, Section III, 53:1-13"},{"key":"410_CR18","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":"410_CR19","doi-asserted-by":"crossref","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 Syst Humans 42(5):1216\u20131229","DOI":"10.1109\/TSMCA.2012.2189877"},{"key":"410_CR20","unstructured":"Hostettler SP, Linard A, Marechal M, Ayar A, Risoldi M (2010) Improving the significance of benchmarks for Petri nets model checkers. In: Proceedings of the workshops APNOC and SUMo, Braga, Portugal, pp 97\u2013111"},{"key":"410_CR21","doi-asserted-by":"crossref","unstructured":"Khorasgani H, Biswas G (2017) Structural fault detection and isolation in hybrid systems. IEEE Trans Autom Sci Eng","DOI":"10.1109\/TASE.2017.2749447"},{"key":"410_CR22","doi-asserted-by":"crossref","unstructured":"Kita N (2018) Nonbipartite dulmage-mendelsohn decomposition for berge duality. In: Wang L, Zhu D (eds) Computing and combinatorics. COCOON 2018. Lect Notes Comput Sci 10976","DOI":"10.1007\/978-3-319-94776-1_25"},{"key":"410_CR23","doi-asserted-by":"crossref","unstructured":"Komenda J, Lahaye S, Boimond J-L, van den Boom T (2018) Max-plus algebra in the history of discrete event systems. Annu Rev Control 45:240\u2013249","DOI":"10.1016\/j.arcontrol.2018.04.004"},{"key":"410_CR24","doi-asserted-by":"crossref","unstructured":"Li L, Li Y, Liu B, Wu W (2022) Least-cost transition sequence estimation in labeled time Petri net systems with unobservable transitions. Int Jo Control 1-14","DOI":"10.1080\/00207179.2022.2121764"},{"key":"410_CR25","doi-asserted-by":"crossref","unstructured":"Mahulea C, Seatzu C, Cabasino M, Silva M (2012) Fault diagnosis of discrete-event systems using continuous Petri nets. IEEE Trans Syst Man Cybern 42:970\u2013984","DOI":"10.1109\/TSMCA.2012.2183358"},{"key":"410_CR26","doi-asserted-by":"crossref","unstructured":"Murota K (1987) Systems analysis by graphs and matroids. Structural solvability and controllability. Algorithms and Combinatorics 3, Springer-Verlag","DOI":"10.1007\/978-3-642-61586-3"},{"key":"410_CR27","doi-asserted-by":"crossref","unstructured":"Parker R, Nicholson B, Siirola J, Biegler L (2023) Applications of the Dulmage\u2013Mendelsohn decomposition for debugging nonlinear optimization problems. Comput Chem Eng, vol 178","DOI":"10.1016\/j.compchemeng.2023.108383"},{"issue":"4","key":"410_CR28","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1145\/98267.98287","volume":"16","author":"A Pothen","year":"1990","unstructured":"Pothen A, Fan C-J (1990) Computing the block triangular form of a sparse matrix. ACM Trans Math Softw 16(4):303\u2013324","journal-title":"ACM Trans Math Softw"},{"key":"410_CR29","unstructured":"Ran N, Hao J, Seatzu C (2021) Prognosability analysis and enforcement of bounded labeled Petri nets. IEEE Trans Autom Control, pp 1-1"},{"key":"410_CR30","doi-asserted-by":"crossref","unstructured":"Ran N, Li T, He Z, Seatzu C (2023) Codiagnosability enforcement in labeled Petri nets. IEEE Trans Autom Control 68:2436\u20132443","DOI":"10.1109\/TAC.2022.3173170"},{"key":"410_CR31","doi-asserted-by":"crossref","unstructured":"Wi\u015bniewski R, Costa A, Wojnakowski M, Mali\u0144 ski M (2023) Decomposition of a Petri net-based cyber-physical system toward implementation as an integrated system within FPGA. Appl Sci 13:7137","DOI":"10.3390\/app13127137"},{"key":"410_CR32","doi-asserted-by":"crossref","unstructured":"Wi\u015bniewski R, Stefanowicz \u0141, Bukowiec A, Lipi\u0144ski J (2014) Theoretical aspects of Petri nets decomposition based on invariants and hypergraphs. Multimedia and ubiquitous engineering, vol 308. Lecture Notes in Electrical Engineering. Springer-Verlag, Berlin Heidelberg","DOI":"10.1007\/978-3-642-54900-7_52"},{"key":"410_CR33","doi-asserted-by":"crossref","unstructured":"Yue H, Xu S, Zhou G, Hu H, Guo Y, Zhang J (2019) Estimation of least-cost transition firing sequences in labeled Petri nets by using basis reachability graph. IEEE Access, PP(99):1-1","DOI":"10.1109\/ACCESS.2019.2952056"},{"key":"410_CR34","unstructured":"Zaitsev D (2013) Clans of Petri Nets: Verification of protocols and performance evaluation of networks. Publisher: Lap Lambert Academic Publishing, p 278"},{"key":"410_CR35","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1016\/j.ins.2016.02.016","volume":"363","author":"D Zaitsev","year":"2016","unstructured":"Zaitsev D (2016) Sequential composition of linear systems\u2019 clans. Inf Sci 363:292\u2013307","journal-title":"Inf Sci"},{"key":"410_CR36","doi-asserted-by":"crossref","unstructured":"Zaitsev D, Zaitsev I, Shmeleva T (2017) Infinite Petri nets: Part 2, modeling triangular, hexagonal, hypercube and hypertorus structures. Complex Syst 26(4)","DOI":"10.25088\/ComplexSystems.26.4.341"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-025-00410-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-025-00410-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-025-00410-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,25]],"date-time":"2025-04-25T03:08:08Z","timestamp":1745550488000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-025-00410-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,28]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,3]]}},"alternative-id":["410"],"URL":"https:\/\/doi.org\/10.1007\/s10626-025-00410-z","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,2,28]]},"assertion":[{"value":"5 April 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 February 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 February 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 Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not Applicable","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical Approval"}}]}}