{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T21:11:12Z","timestamp":1774905072542,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"the National Key R&D Program of China","award":["2018YFB1700104"],"award-info":[{"award-number":["2018YFB1700104"]}]},{"DOI":"10.13039\/501100001809","name":"the National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61873342"],"award-info":[{"award-number":["61873342"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"the Foundation of Huaqiao University","award":["605-50Y23018"],"award-info":[{"award-number":["605-50Y23018"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2024,9]]},"DOI":"10.1007\/s10626-024-00402-5","type":"journal-article","created":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:02:29Z","timestamp":1725512549000},"page":"403-427","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An extremum timed extended reachability graph for temporal analysis of time Petri nets"],"prefix":"10.1007","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7448-9038","authenticated-orcid":false,"given":"Jiazhong","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitri","family":"Lefebvre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,5]]},"reference":[{"issue":"4","key":"402_CR1","doi-asserted-by":"crossref","first-page":"997","DOI":"10.1109\/TAC.2014.2363916","volume":"60","author":"F Basile","year":"2015","unstructured":"Basile F, Cabasino MP, Seatzu C (2015) State estimation and fault diagnosis of labeled time Petri net systems with unobservable transitions. IEEE Trans Autom Control 60(4):997\u20131009","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"402_CR2","doi-asserted-by":"crossref","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 Autom Control 62(3):1384\u20131396","journal-title":"IEEE Trans Autom Control"},{"issue":"6","key":"402_CR3","doi-asserted-by":"crossref","first-page":"2800","DOI":"10.1109\/TAC.2021.3093618","volume":"67","author":"F Basile","year":"2022","unstructured":"Basile F, Cordone R, Piroddi L (2022) Supervisory control of timed discrete-event systems with logical and temporal specifications. IEEE Trans Autom Control 67(6):2800\u20132815","journal-title":"IEEE Trans Autom Control"},{"key":"402_CR4","volume-title":"Linear Programming and Network Flows","author":"M Bazaraa","year":"2011","unstructured":"Bazaraa M, Jarvis J, Sherali H (2011) Linear Programming and Network Flows, 3rd edn. John Wiley & Sons, New York","edition":"3"},{"key":"402_CR5","first-page":"343","volume-title":"Control of Discrete-Event Systems","author":"B Berard","year":"2013","unstructured":"Berard B, Cabasino M, Febbraro A, Giua A, Seatzu C (2013) Petri nets with time. In: Seatzu C, Silva M, Schuppen J (eds) Control of Discrete-Event Systems, vol 433. Springer-Verlag, New York, pp 343\u2013364"},{"issue":"3","key":"402_CR6","doi-asserted-by":"crossref","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 Software Eng 17(3):259\u2013273","journal-title":"IEEE Trans Software Eng"},{"key":"402_CR7","doi-asserted-by":"crossref","unstructured":"Berthomieu B, Vernadat F (2003) State class constructions for branching analysis of time Petri nets. In Proc. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Warsaw, Poland, pp 442\u2013457","DOI":"10.1007\/3-540-36577-X_33"},{"key":"402_CR8","doi-asserted-by":"crossref","unstructured":"Berthomieu B, Boyer M, Diaz M (2009) Time Petri nets. In: Diaz M (ed) Petri nets: Fundamental Models. Verification and Applications, John Wiley & Sons, New York, pp 123\u2013162","DOI":"10.1002\/9780470611647.ch5"},{"key":"402_CR9","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/978-1-4471-4276-8_17","volume-title":"Control of Discrete-Event Systems","author":"R Boel","year":"2013","unstructured":"Boel R, Jiroveanu G (2013) The on-line diagnosis of time Petri nets. In: Seatzu C, Silva M, Schuppen J (eds) Control of Discrete-Event Systems, vol 433. Springer-Verlag, New York, pp 343\u2013364"},{"issue":"4","key":"402_CR10","first-page":"469","volume":"88","author":"H Boucheneb","year":"2008","unstructured":"Boucheneb H, Rakkay H (2008) A more efficient time Petri net state space abstraction useful to model checking timed linear properties. Fund Inform 88(4):469\u2013495","journal-title":"Fund Inform"},{"issue":"10","key":"402_CR11","doi-asserted-by":"crossref","first-page":"1456","DOI":"10.1016\/j.jss.2005.12.021","volume":"79","author":"F Cassez","year":"2006","unstructured":"Cassez F, Roux OH (2006) Structural translation from time Petri nets to timed automata. J Syst Softw 79(10):1456\u20131468","journal-title":"J Syst Softw"},{"key":"402_CR12","first-page":"246","volume-title":"Proc","author":"G Gardey","year":"2003","unstructured":"Gardey G, Roux OH, Roux OF (2003) Using zone graph method for computing the state space of a time Petri net. Proc. Formal Modeling and Analysis of Timed Systems, Marseille, France, pp 246\u2013259"},{"issue":"8","key":"402_CR13","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1109\/TC.2010.195","volume":"60","author":"R Hadjidj","year":"2011","unstructured":"Hadjidj R, Boucheneb H (2011) Efficient reachability analysis for time Petri nets. IEEE Trans Comput 60(8):1085\u20131099","journal-title":"IEEE Trans Comput"},{"issue":"1","key":"402_CR14","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s10626-019-00275-z","volume":"29","author":"D Lefebvre","year":"2019","unstructured":"Lefebvre D (2019) Approximated timed reachability graphs for the robust control of discrete event systems. Discrete Event Dynamic Systems 29(1):31\u201356","journal-title":"Discrete Event Dynamic Systems"},{"issue":"2","key":"402_CR15","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/s10626-006-8133-9","volume":"16","author":"D Lime","year":"2006","unstructured":"Lime D, Roux OH (2006) Model checking of time Petri nets using the state class timed automaton. Discrete Event Dynamic Systems 16(2):179\u2013205","journal-title":"Discrete Event Dynamic Systems"},{"key":"402_CR16","unstructured":"Merlin PM (ed) (1974) A study of the recoverability of computing systems. Ph.D. dissertation, Univ. of California, Irvine"},{"issue":"4","key":"402_CR17","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1109\/TSMC.2013.2258907","volume":"44","author":"L Pan","year":"2014","unstructured":"Pan L, Ding Z, Zhou M (2014) A configurable state class method for temporal analysis of time Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems 44(4):482\u2013493","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Systems"},{"issue":"2","key":"402_CR18","doi-asserted-by":"crossref","first-page":"1151","DOI":"10.1109\/TASE.2020.3045565","volume":"19","author":"Y Pencole","year":"2022","unstructured":"Pencole 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":"402_CR19","volume-title":"Analysis of asynchronous concurrent systems by timed Petri nets","year":"1974","unstructured":"Ramchandani C (ed) (1974) Analysis of asynchronous concurrent systems by timed Petri nets. Massachusetts Inst. of Technology, Cambridge, MA, USA"},{"key":"402_CR20","unstructured":"The\u00a0MathWorks\u00a0Inc. (2022) MATLAB version: 9.12.0 (R2022b). Natick, Massachusetts, USA, https:\/\/www.mathworks.com"},{"issue":"5","key":"402_CR21","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1109\/3477.875448","volume":"30","author":"J Wang","year":"2000","unstructured":"Wang J, Deng Y, Xu G (2000) Reachability analysis of real-time systems using time Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Cybernetics 30(5):725\u2013736","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Cybernetics"},{"issue":"9","key":"402_CR22","doi-asserted-by":"crossref","first-page":"2321","DOI":"10.1109\/TAC.2015.2405293","volume":"60","author":"X Wang","year":"2015","unstructured":"Wang X, Mahulea C, Silva M (2015) Diagnosis of time Petri nets using fault diagnosis graph. IEEE Trans Autom Control 60(9):2321\u20132335","journal-title":"IEEE Trans Autom Control"},{"issue":"10","key":"402_CR23","doi-asserted-by":"crossref","first-page":"984","DOI":"10.1109\/TSE.2002.1041054","volume":"28","author":"D Xu","year":"2002","unstructured":"Xu D, He X, Deng Y (2002) Compositional schedulability analysis of real-time systems using time Petri nets. IEEE Trans Software Eng 28(10):984\u2013996","journal-title":"IEEE Trans Software Eng"},{"issue":"7","key":"402_CR24","doi-asserted-by":"crossref","first-page":"3693","DOI":"10.1109\/TAC.2021.3110010","volume":"67","author":"J Zhou","year":"2022","unstructured":"Zhou J, Lefebvre D, Li Z (2022) A clustering approach to approximate the timed reachability graph for a class of time Petri nets. IEEE Trans Autom Control 67(7):3693\u20133698","journal-title":"IEEE Trans Autom Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-024-00402-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-024-00402-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-024-00402-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,18]],"date-time":"2024-09-18T12:36:19Z","timestamp":1726662979000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-024-00402-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,9]]}},"alternative-id":["402"],"URL":"https:\/\/doi.org\/10.1007\/s10626-024-00402-5","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,9]]},"assertion":[{"value":"2 July 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 August 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 September 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 competing interests to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing Interests"}}]}}