{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:48:38Z","timestamp":1742957318620,"version":"3.40.3"},"publisher-location":"London","reference-count":31,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781447142751"},{"type":"electronic","value":"9781447142768"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4471-4276-8_17","type":"book-chapter","created":{"date-parts":[[2012,7,26]],"date-time":"2012-07-26T18:19:09Z","timestamp":1343326749000},"page":"343-364","source":"Crossref","is-referenced-by-count":3,"title":["The On-Line Diagnosis of Time Petri Nets"],"prefix":"10.1007","author":[{"given":"Ren\u00e9 K.","family":"Boel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Jiroveanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/3-540-63139-9_34","volume-title":"Application and Theory of Petri Nets 1997","author":"T. Aura","year":"1997","unstructured":"Aura, T., Lilius, J.: Time processes of Time Petri Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 136\u2013155. Springer, Heidelberg (1997)"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Basile, F., Chiacchio, P., De Tommasi, G.: Improving on-line fault diagnosis for Discrete Event Systems using time. In: IEEE Int. Conf. on Automation Science and Engineering, Scottsdale,\u00a0USA (2007)","DOI":"10.1109\/COASE.2007.4341735"},{"issue":"5","key":"17_CR3","doi-asserted-by":"publisher","first-page":"714","DOI":"10.1109\/TAC.2003.811249","volume":"48","author":"A. Benveniste","year":"2003","unstructured":"Benveniste, A., Fabre, E., Jard, C., Haar, S.: Diagnosis of asynchronous Discrete Event Systems, a net unfolding approach. IEEE Transactions on Automatic Control\u00a048(5), 714\u2013727 (2003)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"17_CR4","unstructured":"Berthomieu, B., Menasche, M.: An enumerative approach for analyzing Time Petri Nets. In: Proc. IFIP 9th World Computer Congress, Paris, France (1983)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Vernadat, F.: State class constructions for branching analysis of Time Petri Nets. In: Proc. 9th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Warsaw, Poland (2003)","DOI":"10.1007\/3-540-36577-X_33"},{"key":"17_CR6","unstructured":"Boufaied, A., Subias, A., Combacau, M.: Distributed time constraints verification modelled with Time Petri Nets. In: Proc. 17th IMACS World Congress, Paris, France (2005)"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-540-31982-5_14","volume-title":"Foundations of Software Science and Computational Structures","author":"P. Bouyer","year":"2005","unstructured":"Bouyer, P., Chevalier, F., D\u2019Souza, D.: Fault Diagnosis Using Timed Automata. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 219\u2013233. Springer, Heidelberg (2005)"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/11603009_16","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"T. Chatain","year":"2005","unstructured":"Chatain, T., Jard, C.: Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol.\u00a03829, pp. 196\u2013210. Springer, Heidelberg (2005)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022196","volume-title":"Computer Performance Evaluation Modelling Techniques and Tools","author":"G. Ciardo","year":"1997","unstructured":"Ciardo, G., Miner, A.S.: Storage Alternatives for Large Structured State Spaces. In: Marie, R., Plateau, B., Calzarossa, M.C., Rubino, G.J. (eds.) TOOLS 1997. LNCS, vol.\u00a01245. Springer, Heidelberg (1997)"},{"issue":"3","key":"17_CR10","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01590958","volume":"71","author":"B. De Schutter","year":"1995","unstructured":"De Schutter, B., De Moor, B.: The Extended Linear Complementarity Problem. Mathematical Programming\u00a071(3), 289\u2013325 (1995)","journal-title":"Mathematical Programming"},{"issue":"2-3","key":"17_CR11","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0167-6423(94)00019-0","volume":"23","author":"J. Esparza","year":"1994","unstructured":"Esparza, J.: Model checking using net unfoldings. Science of Computer Programming\u00a023(2-3), 151\u2013195 (1994)","journal-title":"Science of Computer Programming"},{"issue":"3","key":"17_CR12","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1017\/S147106840600264X","volume":"6","author":"G. Gardey","year":"2006","unstructured":"Gardey, G., Roux, O.H., Roux, O.F.: State space computation and analysis of Time Petri Nets. Theory and Practice of Logic Programming\u00a06(3), 301\u2013320 (2006)","journal-title":"Theory and Practice of Logic Programming"},{"key":"17_CR13","unstructured":"Genc, S., Lafortune, S.: Distributed diagnosis for DES using Petri Nets. In: Proc. Conf. on Applications and Theory of Petri, Eindhoven, The Netherlands (2003)"},{"issue":"2","key":"17_CR14","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s10626-009-0060-0","volume":"19","author":"M. Ghazel","year":"2009","unstructured":"Ghazel, M., Toguy\u00e9ni, A., Yim, P.: State observer for DES under partial observation with Time Petri Nets. Discrete Event Dynamic Systems\u00a019(2), 137\u2013165 (2009)","journal-title":"Discrete Event Dynamic Systems"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/3-540-60045-0_67","volume-title":"Computer Aided Verification","author":"H. Hulgaard","year":"1995","unstructured":"Hulgaard, H., Burns, S.M.: Efficient Timing Analysis of a Class of Petri Nets. In: Wolper, P. (ed.) CAV 1995. LNCS, vol.\u00a0939, pp. 423\u2013436. Springer, Heidelberg (1995)"},{"issue":"5-6","key":"17_CR16","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/j.matcom.2005.11.003","volume":"70","author":"G. Jiroveanu","year":"2006","unstructured":"Jiroveanu, G., Boel, R.K.: A distributed approach for fault detection and diagnosis based on Time Petri Nets. Mathematics and Computers in Simulation\u00a070(5-6), 287\u2013313 (2006)","journal-title":"Mathematics and Computers in Simulation"},{"key":"17_CR17","unstructured":"Jiroveanu, G., De Schutter, B., Boel, R.K.: In: On-line diagnosis for Time Petri Nets. In: Proc. Int. Workshop on Principles of Diagnosis, Burgos, Spain (2006)"},{"key":"17_CR18","unstructured":"Khoumsi, A.: Fault prognosis in real-time Discrete Event Systems. In: Proc. Int. Workshop on Principles of Diagnosis, Stockholm, Sweden (2009)"},{"key":"17_CR19","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S1571-0661(05)80254-3","volume":"18","author":"J. Lilius","year":"1998","unstructured":"Lilius, J.: Efficient state space search for Time Petri Nets. Electronic Notes in Theoretical Computer Science\u00a018, 113\u2013133 (1998)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"17_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/3-540-56496-9_14","volume-title":"Computer Aided Verification","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Using Unfoldings to Avoid the State Space Explosion Problem in Verification of Asynchronous Circuits. In: Probst, D.K., von Bochmann, G. (eds.) CAV 1992. LNCS, vol.\u00a0663, pp. 164\u2013177. Springer, Heidelberg (1993)"},{"key":"17_CR21","volume-title":"A Study of Recoverability of Computer Science","author":"P. Merlin","year":"1974","unstructured":"Merlin, P.: A Study of Recoverability of Computer Science. University of California, Irvine (1974)"},{"key":"17_CR22","unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems by Timed Petri Nets. Massachusetts Institute of Technology, Project MAC, Technical Report 120 (1974)"},{"issue":"9","key":"17_CR23","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.: Diagnosability of Discrete Event Systems. IEEE Transactions on Automatic Control\u00a040(9), 1555\u20131575 (1995)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Semenov, A., Yakovlev, A.: Verification of asynchronous circuits using Time Petri Net unfolding. In: Proc. 33rd ACM\/IEEE Design Automation Conference, Las Vegas, USA (1996)","DOI":"10.1145\/240518.240530"},{"issue":"4","key":"17_CR25","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1016\/j.ress.2009.11.007","volume":"95","author":"Z. Simeu-Abazia","year":"2010","unstructured":"Simeu-Abazia, Z., Di Mascoloa, M., Knotekb, M.: Fault diagnosis for Discrete Event Systems: modelling and verification. Reliability Engineering and System Safety\u00a095(4), 369\u2013378 (2010)","journal-title":"Reliability Engineering and System Safety"},{"issue":"4","key":"17_CR26","doi-asserted-by":"publisher","first-page":"1155","DOI":"10.1109\/21.247896","volume":"23","author":"V.S. Srinivasan","year":"1994","unstructured":"Srinivasan, V.S., Jafari, M.A.: Fault detection\/monitoring using Time Petri Nets. IEEE Transactions on Systems Managment and Cybernetics\u00a023(4), 1155\u20131162 (1994)","journal-title":"IEEE Transactions on Systems Managment and Cybernetics"},{"key":"17_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/3-540-45739-9_14","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"S. Tripakis","year":"2002","unstructured":"Tripakis, S.: Fault Diagnosis for Timed Automata. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 205\u2013224. Springer, Heidelberg (2002)"},{"issue":"4","key":"17_CR28","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/TASE.2010.2049841","volume":"7","author":"S. Xu","year":"2010","unstructured":"Xu, S., Jiang, S., Kumar, R.: Diagnosis of dense-time systems using digital clocks. IEEE Transactions on Automation Science and Engineering\u00a07(4), 870\u2013878 (2010)","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"issue":"5","key":"17_CR29","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1109\/3477.875448","volume":"30","author":"J. Wang","year":"2000","unstructured":"Wang, J., Deng, Y., Xu, G.: Reachability analysis of real-time systems using Time Petri Nets. IEEE Transactions on Systems Managment and Cybernetics\u00a030(5), 725\u2013736 (2000)","journal-title":"IEEE Transactions on Systems Managment and Cybernetics"},{"key":"17_CR30","first-page":"1","volume":"E99-D","author":"T. Yoneda","year":"1998","unstructured":"Yoneda, T., Ryuba, H.: CTL model checking of Time Petri Nets using geometric regions. EICE Transaction on Information & Systems\u00a0E99-D, 1\u201311 (1998)","journal-title":"EICE Transaction on Information & Systems"},{"issue":"7","key":"17_CR31","doi-asserted-by":"publisher","first-page":"1199","DOI":"10.1109\/TAC.2003.814099","volume":"48","author":"S.H. Zad","year":"2003","unstructured":"Zad, S.H., Zwong, S.H., Wonham, W.M.: Fault diagnosis in Discrete Event Systems: framework and model reduction. IEEE Transactions on Automatic Control\u00a048(7), 1199\u20131212 (2003)","journal-title":"IEEE Transactions on Automatic Control"}],"container-title":["Lecture Notes in Control and Information Sciences","Control of Discrete-Event Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-4276-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T08:39:58Z","timestamp":1675931998000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-4276-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781447142751","9781447142768"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-4276-8_17","relation":{},"ISSN":["0170-8643","1610-7411"],"issn-type":[{"type":"print","value":"0170-8643"},{"type":"electronic","value":"1610-7411"}],"subject":[],"published":{"date-parts":[[2013]]}}}