{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:08:09Z","timestamp":1725703689216},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642328909"},{"type":"electronic","value":"9783642328916"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32891-6_35","type":"book-chapter","created":{"date-parts":[[2012,10,6]],"date-time":"2012-10-06T08:54:11Z","timestamp":1349513651000},"page":"276-285","source":"Crossref","is-referenced-by-count":0,"title":["Diagnosis of Internetware Systems Using Dynamic Description Logic"],"prefix":"10.1007","author":[{"given":"Kun","family":"Yang","sequence":"first","affiliation":[]},{"given":"Weiqun","family":"Cui","sequence":"additional","affiliation":[]},{"given":"Junheng","family":"Teng","sequence":"additional","affiliation":[]},{"given":"Chenzhe","family":"Hang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","unstructured":"Fabre, E., et al.: Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets. In: Discrete Event Dynamic Systems: Theory and Applications, vol. 8, pp. 203\u2013231 (1998)"},{"key":"35_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/3-540-44919-1_21","volume-title":"Applications and Theory of Petri Nets 2003","author":"S. Genc","year":"2003","unstructured":"Genc, S., Lafortune, S.: Distributed Diagnosis of Discrete-Event Systems Using Petri Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 316\u2013336. Springer, Heidelberg (2003)"},{"issue":"2","key":"35_CR3","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M. Sampath","year":"1996","unstructured":"Sampath, M., et al.: Failure Diagnosis Using Discrete-Event Models. IEEE Transaction on Control Systems Technology\u00a04(2), 105\u2013124 (1996)","journal-title":"IEEE Transaction on Control Systems Technology"},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"Debouk, R., Lafortune, S., Teneketzis, D.: Coodinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems. In: Discrete Event Dynamic Systems: Theory and Applications, vol. 10, pp. 33\u201386 (2000)","DOI":"10.1023\/A:1008335115538"},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.artint.2005.01.002","volume":"164","author":"Y. Pencole","year":"2005","unstructured":"Pencole, Y., Cordier, M.-O.: A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence\u00a0164, 121\u2013170 (2005)","journal-title":"Artificial Intelligence"},{"key":"35_CR6","first-page":"1901","volume":"30","author":"F.-Q. Yang","year":"2002","unstructured":"Yang, F.-Q., et al.: Some Discussion on the Development of Software Technology. Acta Electronica Sinica\u00a030, 1901\u20131906 (2002)","journal-title":"Acta Electronica Sinica"},{"issue":"6","key":"35_CR7","doi-asserted-by":"publisher","first-page":"896","DOI":"10.3724\/SP.J.1016.2008.00896","volume":"31","author":"L. Chang","year":"2008","unstructured":"Chang, L., et al.: A tableau decision algorithm for dynamic description logic. Chinese Journal of Computers\u00a031(6), 896\u2013909 (2008)","journal-title":"Chinese Journal of Computers"}],"container-title":["IFIP Advances in Information and Communication Technology","Intelligent Information Processing VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32891-6_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:19:39Z","timestamp":1620130779000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32891-6_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328909","9783642328916"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32891-6_35","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2012]]}}}