{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T16:55:48Z","timestamp":1769360148358,"version":"3.49.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T00:00:00Z","timestamp":1769212800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T00:00:00Z","timestamp":1769212800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-22-CE10-0002"],"award-info":[{"award-number":["ANR-22-CE10-0002"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2026,12]]},"DOI":"10.1007\/s10626-026-00426-z","type":"journal-article","created":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T07:39:45Z","timestamp":1769240385000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On clock interval automata for a class of time PNs"],"prefix":"10.1007","volume":"36","author":[{"given":"Jan","family":"Komenda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitri","family":"Lefebvre","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":[[2026,1,24]]},"reference":[{"issue":"3","key":"426_CR1","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/s10703-012-0146-4","volume":"40","author":"S Balaguer","year":"2012","unstructured":"Balaguer S, Chatain T, Haar S (2012) A concurrency-preserving translation from time Petri nets to networks of timed automata. Formal Methods Syst Des 40(3):330\u2013355","journal-title":"Formal Methods Syst Des"},{"issue":"3","key":"426_CR2","doi-asserted-by":"publisher","first-page":"1384","DOI":"10.1109\/TAC.2016.2588736","volume":"62","author":"F Basile","year":"2017","unstructured":"Basile F, Cabasino MP, Seatzu C (2017) Diagnosability analysis of labeled time Petri net systems. IEEE Trans on Autom Control 62(3):1384\u20131396","journal-title":"IEEE Trans on Autom Control"},{"issue":"3","key":"426_CR3","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 on Softw Eng 17(3):259\u2013273","journal-title":"IEEE Trans on Softw Eng"},{"issue":"3","key":"426_CR4","first-page":"225","volume":"88","author":"M Boyer","year":"2008","unstructured":"Boyer M, Roux OH (2008) On the compared expressiveness of arc, place and transition time Petri nets. Fund Inform 88(3):225\u2013249","journal-title":"Fund Inform"},{"issue":"2","key":"426_CR5","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 on Autom Control 39(2):329\u2013342","journal-title":"IEEE Trans on Autom Control"},{"key":"426_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems. Springer, Boston, MA, USA"},{"key":"426_CR7","unstructured":"Cassez F, Tripakis S (2009) Fault diagnosis of timed systems. In: Proc. of communicating embedded systems \u2013 software and design"},{"key":"426_CR8","doi-asserted-by":"crossref","unstructured":"\u010cer\u0101ns K (1992) Decidability of bisimulation equivalences for parallel timer processes. In: Computer Aided Verification (CAV\u201992). Lecture notes in computer science, vol 663, pp 302\u2013315. Springer, Montreal, Canada","DOI":"10.1007\/3-540-56496-9_24"},{"key":"426_CR9","doi-asserted-by":"crossref","unstructured":"Colom JM, Su\u00e1rez MS (1989) Convex geometry and semiflows in P\/T nets. A comparative study of algorithms for computation of minimal p-semiflows. In: 10th International conference on applications and theory of Petri nets, Bonn, Germany, June 1989, Proceedings. Lecture Notes in Computer Science, vol 483, pp 79\u2013112. Springer","DOI":"10.1007\/3-540-53863-1_22"},{"key":"426_CR10","doi-asserted-by":"crossref","unstructured":"Desel J, Esparza J (1995) Free choice Petri nets. Cambridge University Press","DOI":"10.1017\/CBO9780511526558"},{"key":"426_CR11","doi-asserted-by":"crossref","unstructured":"D\u2019Souza D, Thiagarajan PS (2002) Product interval automata: a subclass of timed automata. In: Proc. of FSTTCS, pp 60\u201371","DOI":"10.1007\/3-540-46691-6_5"},{"key":"426_CR12","doi-asserted-by":"crossref","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: Proc. of IEEE int. conf. on emerging technologies and factory automation, vol 1, pp 799\u2013804","DOI":"10.1109\/ETFA46521.2020.9211942"},{"key":"426_CR13","doi-asserted-by":"crossref","unstructured":"Glabbeek R, Goltz U, Schicke-Uffmann J-W (2012) On distributability of Petri nets, pp 331\u2013345","DOI":"10.1007\/978-3-642-28729-9_22"},{"key":"426_CR14","unstructured":"Hack M (1972) Analysis of production schemata by Petri nets. Master\u2019s thesis, Massachusetts Institute of Technology, Cambridge, USA"},{"key":"426_CR15","doi-asserted-by":"crossref","unstructured":"Hadjicostis CN (2019) Estimation and inference in discrete event systems: a model-based approach with finite automata. Springer","DOI":"10.1007\/978-3-030-30821-6"},{"key":"426_CR16","doi-asserted-by":"crossref","unstructured":"Komenda J, Lahaye S, Boimond JL (2010) Synchronous composition of interval weighted automata using tensor algebra of product semirings. In: IFAC Proc. Volumes (IFAC-PapersOnline), vol 10, pp 318\u2013323","DOI":"10.3182\/20100830-3-DE-4013.00053"},{"key":"426_CR17","doi-asserted-by":"crossref","unstructured":"Komenda J, Lefebvre D (2023) On tick automata for distributed timed dess with synchronisations and minimal time constraints. In: IFAC Proc. Volumes (IFAC-PapersOnline), vol 56, pp 8635\u20138640","DOI":"10.1016\/j.ifacol.2023.10.039"},{"issue":"3","key":"426_CR18","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 on Aut Cont 67(3):1582\u20131588","journal-title":"IEEE Trans on Aut Cont"},{"key":"426_CR19","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/j.ins.2022.01.061","volume":"593","author":"D Lefebvre","year":"2022","unstructured":"Lefebvre D, Hadjicostis CN (2022) Diagnosability of fault patterns with labeled stochastic Petri nets. Inf Sci 593:341\u2013363","journal-title":"Inf Sci"},{"key":"426_CR20","doi-asserted-by":"crossref","unstructured":"Lefebvre D, Komenda J (2024) On clock interval automata for a simple class of distributed timed dess with time intervals. In: IFAC Proc. WODES","DOI":"10.1016\/j.ifacol.2024.07.035"},{"issue":"2","key":"426_CR21","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 ZW (2022) Observers for a class of timed automata based on elapsed time graphs. IEEE Trans on Aut Cont 67(2):767\u2013779","journal-title":"IEEE Trans on Aut Cont"},{"issue":"3","key":"426_CR22","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1016\/j.automatica.2011.01.002","volume":"47","author":"F Lin","year":"2011","unstructured":"Lin F (2011) Opacity of discrete event systems and its applications. Automatica 47(3):496\u2013503","journal-title":"Automatica"},{"key":"426_CR23","doi-asserted-by":"crossref","unstructured":"Lin L, Su R, Brandin BA, Ware S, Zhu Y, Sun Y (2019) Synchronous composition of finite interval automata. In: Proc. of ICCA, pp 578\u2013583","DOI":"10.1109\/ICCA.2019.8899529"},{"key":"#cr-split#-426_CR24.1","doi-asserted-by":"crossref","unstructured":"Lubat E, Dal Zilio S, Le Botlan D, Pencole Y, Subias A (2019) A state class construction for computing the intersection of time Petri nets languages. In: Computer\u00a0Science LN","DOI":"10.1007\/978-3-030-29662-9_5"},{"key":"#cr-split#-426_CR24.2","unstructured":"(ed) FORMATS 2019 - 17th international conference on formal modeling and analysis of timed systems, vol 11750, pp 79-95"},{"key":"426_CR25","doi-asserted-by":"crossref","unstructured":"Ma Z, Yin X , Li ZW (2021) Verification and enforcement of strong infinite- and k-step opacity using state recognizers. Automatica 133","DOI":"10.1016\/j.automatica.2021.109838"},{"key":"426_CR26","unstructured":"Merlin P (1974) A study of the recoverability of computer systems. Ph. D. Thesis, Computer Science Dept., University of California"},{"key":"426_CR27","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. Prentice-Hall Inc, USA"},{"key":"426_CR28","doi-asserted-by":"crossref","unstructured":"Pastor E, Cortadella J, Pe\u00f1a MA (1999) Structural methods to improve the symbolic analysis of petri nets. In: Donatelli S, Kleijn J (eds) Application and theory of Petri nets 1999, pp 26\u201345. Springer, Berlin, Heidelberg","DOI":"10.1007\/3-540-48745-X_3"},{"issue":"2","key":"426_CR29","doi-asserted-by":"publisher","first-page":"1151","DOI":"10.1109\/TASE.2020.3045565","volume":"19","author":"Y Pencol\u00e9","year":"2022","unstructured":"Pencol\u00e9 Y, Subias A (2022) Diagnosability of event patterns in safe labeled time Petri nets: a model-checking approach. IEEE Trans Autom Sci Eng 19(2):1151\u20131162","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"426_CR30","unstructured":"Ramchandani C (1973) Analysis of asynchronous concurrent systems by timed Petri nets. Ph. D. Thesis, MIT"},{"issue":"9","key":"426_CR31","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete-event systems. IEEE Trans on Autom Control 40(9):1555\u20131575","journal-title":"IEEE Trans on Autom Control"},{"key":"426_CR32","doi-asserted-by":"crossref","unstructured":"Schmidt K (2003) Using Petri net invariants in state space construction. In: Garavel H, Hatcliff J (eds) Tools and algorithms for the construction and analysis of systems, pp 473\u2013488. Springer, Berlin, Heidelberg","DOI":"10.1007\/3-540-36577-X_35"},{"issue":"6","key":"426_CR33","doi-asserted-by":"publisher","first-page":"2823","DOI":"10.1109\/TAC.2016.2620429","volume":"62","author":"Y Tong","year":"2017","unstructured":"Tong Y, Li ZW, Seatzu C, Giua A (2017) Verification of state-based opacity using Petri nets. IEEE Trans on Autom Control 62(6):2823\u20132837","journal-title":"IEEE Trans on Autom Control"},{"key":"426_CR34","doi-asserted-by":"crossref","unstructured":"Tripakis S (2002) Fault diagnosis for timed systems. In: Proc. of the 7th Int. symposium on formal techniques in real-time and fault-tolerant systems, pp 205\u2013224","DOI":"10.1007\/3-540-45739-9_14"},{"issue":"37","key":"426_CR35","doi-asserted-by":"publisher","first-page":"2845","DOI":"10.1109\/TCAD.2018.2857363","volume":"11","author":"LT Wang","year":"2018","unstructured":"Wang LT, Zhan NJ, An J (2018) The opacity of real-time automata. IEEE Trans Comput Aided Des Integr Circ Syst 11(37):2845\u20132856","journal-title":"IEEE Trans Comput Aided Des Integr Circ Syst"},{"issue":"2","key":"426_CR36","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1109\/TCST.2017.2692204","volume":"26","author":"R Wi\u015bniewski","year":"2018","unstructured":"Wi\u015bniewski R, Karatkevich A, Adamski M, Costa A, Gomes L (2018) Prototyping of concurrent control systems with application of petri nets and comparability graphs. IEEE Trans Control Syst Technol 26(2):575\u2013586","journal-title":"IEEE Trans Control Syst Technol"},{"key":"426_CR37","doi-asserted-by":"crossref","unstructured":"Wonham M, Cai K (2019) Supervisory control of discrete event systems. Springer","DOI":"10.1007\/978-3-319-77452-7"},{"issue":"6","key":"426_CR38","doi-asserted-by":"publisher","first-page":"1591","DOI":"10.1109\/TAC.2017.2749380","volume":"63","author":"K Zhang","year":"2018","unstructured":"Zhang K, Liu T, Cheng D (2018) Observability of finite labeled transition systems. IEEE Trans on Autom Control 63(6):1591\u20131602","journal-title":"IEEE Trans on Autom Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-026-00426-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-026-00426-z","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-026-00426-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T07:39:47Z","timestamp":1769240387000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-026-00426-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,24]]},"references-count":39,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,12]]}},"alternative-id":["426"],"URL":"https:\/\/doi.org\/10.1007\/s10626-026-00426-z","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,1,24]]},"assertion":[{"value":"30 November 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 November 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 January 2026","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"}}],"article-number":"2"}}