{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:31:16Z","timestamp":1725564676982},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152962"},{"type":"electronic","value":"9783642152979"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15297-9_12","type":"book-chapter","created":{"date-parts":[[2010,9,6]],"date-time":"2010-09-06T08:11:13Z","timestamp":1283760673000},"page":"137-151","source":"Crossref","is-referenced-by-count":6,"title":["Diagnosis Using Unfoldings of Parametric Time Petri Nets"],"prefix":"10.1007","author":[{"given":"Bartosz","family":"Grabiec","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louis-Marie","family":"Traonouez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"Jard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Didier","family":"Lime","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier H.","family":"Roux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Rom\u00e9o - a tool for time Petri nets analysis, \n                  \n                    http:\/\/romeo.rts-software.org","key":"12_CR1"},{"issue":"2","key":"12_CR2","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1016\/S0304-3975(99)00114-0","volume":"243","author":"T. Aura","year":"2000","unstructured":"Aura, T., Lilius, J.: A causal semantics for time Petri nets. Theoretical Computer Science\u00a0243(2), 409\u2013447 (2000)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"12_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.: Modeling and verification of time dependent systems using time Petri nets. IEEE trans. on Soft. Eng.\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE trans. on Soft. Eng."},{"key":"12_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"C.G. Cassandras","year":"2008","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, Heidelberg (2008)","edition":"2"},{"key":"12_CR5","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":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/11767589_8","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"T. Chatain","year":"2006","unstructured":"Chatain, T., Jard, C.: Complete finite prefixes of symbolic unfoldings of safe time Petri nets. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 125\u2013145. Springer, Heidelberg (2006)"},{"key":"12_CR7","series-title":"Monographs in Theoretical Computer Science","volume-title":"Unfoldings, A Partial-Order Approach to Model Checking","author":"J. Esparza","year":"2008","unstructured":"Esparza, J., Heljanko, K.: Unfoldings, A Partial-Order Approach to Model Checking. Monographs in Theoretical Computer Science. Springer, Heidelberg (2008)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10626-005-5238-5","volume":"5","author":"E. Fabre","year":"2005","unstructured":"Fabre, E., Benveniste, A., Haar, S., Jard, C.: Distributed monitoring of concurrent and asynchronous systems. Journal of Discrete Event Systems, special issue\u00a05, 33\u201384 (2005)","journal-title":"Journal of Discrete Event Systems, special issue"},{"doi-asserted-by":"crossref","unstructured":"Giua, A.: Petri net state estimators based on event observation. In: Proceedings of the IEEE ICDC, pp. 4086\u20134091 (1997)","key":"12_CR9","DOI":"10.1109\/CDC.1997.652507"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-540-75454-1_17","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J.K. Jessen","year":"2007","unstructured":"Jessen, J.K., Rasmussen, J.I., Larsen, K.G., David, A.: Guided controller synthesis for climate controller using uppaal-tiga. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol.\u00a04763, pp. 227\u2013240. Springer, Heidelberg (2007)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/978-3-642-00768-2_6","volume-title":"TACAS 2009","author":"D. Lime","year":"2009","unstructured":"Lime, D., Roux, O.H., Seidner, C., Traonouez, L.-M.: Romeo: A parametric model-checker for Petri nets with stopwatches. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol.\u00a05505, pp. 54\u201357. Springer, Heidelberg (2009)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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 unfolding to avoid the state space explosion problem in the verification of asynchronous circuits. In: Probst, D.K., von Bochmann, G. (eds.) CAV 1992. LNCS, vol.\u00a0663, pp. 164\u2013177. Springer, Heidelberg (1993)"},{"unstructured":"Merlin, P.M.: A study of the recoverability of computing systems. PhD thesis, Dep. of Information and Computer Science, University of California, Irvine, CA (1974)","key":"12_CR13"},{"unstructured":"Traonouez, L.M.: V\u00e9rification et d\u00e9pliages de r\u00e9seaux de Petri temporels param\u00e9tr\u00e9s. PhD thesis, Ecole centrale de Nantes (2009), \n                  \n                    http:\/\/www.irccyn.ec-nantes.fr\/~traonoue\/publications\/these.pdf","key":"12_CR14"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010)","author":"L.M. Traonouez","year":"2010","unstructured":"Traonouez, L.M., Grabiec, B., Jard, C., Lime, D., Roux, O.H.: Symbolic unfolding of parametric stopwatch petri nets. In: 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010). LNCS, vol.\u00a06252. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Ushio, T., Onishi, I., Okuda, K.: Fault detection based on Petri net models with faulty behaviors. In: Proceedings of the IEEE Int. Conf. on Systems, Man, and Cybernetics, pp. 113\u2013118 (1998)","key":"12_CR16","DOI":"10.1109\/ICSMC.1998.725394"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15297-9_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:49:51Z","timestamp":1619786991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15297-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152962","9783642152979"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15297-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}