{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:30Z","timestamp":1725664290932},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617792"},{"type":"electronic","value":"9783540707417"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3540617795_45","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:25:07Z","timestamp":1330295107000},"page":"331-334","source":"Crossref","is-referenced-by-count":1,"title":["Parallel model-based diagnosis using PVM"],"prefix":"10.1007","author":[{"given":"Cosimo","family":"Anglano","sequence":"first","affiliation":[]},{"given":"Luigi","family":"Portinale","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,8]]},"reference":[{"key":"45_CR1","unstructured":"SCOTCH Home Page: http:\/\/www.labri.u-bordeaux.fr\/\u223c pelegrin\/scotch."},{"key":"45_CR2","first-page":"39","volume-title":"LNCS 815","author":"C. Anglano","year":"1994","unstructured":"C. Anglano and L. Portinale. B-W analysis: a backward reachability analysis for diagnostic problem solving suitable to parallel implementation. In Proc. 15th Int. Conf. on Application and Theory of Petri Nets, LNCS 815, pages 39\u201358, Zaragoza, 1994. Springer Verlag."},{"key":"45_CR3","unstructured":"W. Hamscher, L. Console, and J. de Kleer. Readings in Model-Based Diagnosis. Morgan Kaufmann, 1992."},{"issue":"4","key":"45_CR4","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541\u2013580, 1989.","journal-title":"Proceedings of the IEEE"},{"key":"45_CR5","unstructured":"L. Portinale. Petri net models for diagnostic knowledge representation and reasoning. PhD Thesis, Dip. Informatica, Universita' di Torino, 1993. Available as anonymous ftp at ftp.di.unito.it in \/pub\/portinal."},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"L. Portinale. Petri net reachability analysis meets model-based diagnostic problem solving. In Proc. IEEE Intern. Conference on Systems, Man and Cybernetics, pages 2712\u20132717, Vancouver, BC, 1995. Extended version to appear on IEEE Trans. on SMC.","DOI":"10.1109\/ICSMC.1995.538193"}],"container-title":["Lecture Notes in Computer Science","Parallel Virtual Machine \u2014 EuroPVM '96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540617795_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:39Z","timestamp":1619573799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540617795_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617792","9783540707417"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3540617795_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}