{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:25Z","timestamp":1725663805552},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581529"},{"type":"electronic","value":"9783540484622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:20:25Z","timestamp":1330269625000},"page":"39-58","source":"Crossref","is-referenced-by-count":6,"title":["B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation"],"prefix":"10.1007","author":[{"given":"Cosimo","family":"Anglano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Portinale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"L. Bernardinello and F. De Cindio. A survey of basic net models and modular net classes. In G. Rozenberg, editor. Advances in Petri Nets 1992, LNCS 609, pages 304\u2013351. Springer Verlag, 1992.","DOI":"10.1007\/3-540-55610-9_177"},{"key":"4_CR2","unstructured":"J.M. Colom, M. Silva. and J.L. Villarroel. On software implementation of Petri nets and Colored Petri nets using high-level concurrent languages. In Proceedings of the 7 th International Conference on Application and Theory of Petri Nets, 1986."},{"issue":"3","key":"4_CR3","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L. Console","year":"1991","unstructured":"L. Console and P. Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3):133\u2013141, 1991.","journal-title":"Computational Intelligence"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"J.Y. Girard. Linear logic. Theoretical Computer Science, 50, 1987.","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"4_CR5","unstructured":"W. Hamscher, L. Console, and J. de Kleer. Readings in Model-Based Diagnosis. Morgan Kaufmann, 1992."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"4_CR7","unstructured":"J. Martinez, P.R. Muro, M. Silva, S.F. Smith, and J.L. Villaroel. Merging artificial intelligence techniques and Petri nets for real-time scheduling and control of production systems. In Proc. 12th IMACS World Congress on Scientific Computation, pages 528\u2013531, Paris, 1988."},{"key":"4_CR8","volume-title":"Technical Report UIC-EECS-89-15","author":"T. Murata","year":"1989","unstructured":"T. Murata and J. Yim. Petri-net deduction methods for propositional-logic rule-based systems. Technical Report UIC-EECS-89-15, University of Illinois at Chicago, 1989."},{"issue":"8","key":"4_CR9","doi-asserted-by":"crossref","first-page":"715","DOI":"10.1002\/int.4550070803","volume":"7","author":"L. Portinale","year":"1992","unstructured":"L. Portinale. Verification of causal models using Petri nets. International Journal of Intelligent Systems, 7(8):715\u2013742, 1992.","journal-title":"International Journal of Intelligent Systems"},{"key":"4_CR10","first-page":"339","volume-title":"LNCS 691","author":"L. Portinale","year":"1993","unstructured":"L. Portinale. Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model. In Proc. 14th Int. Conf. on Application and Theory of Petri Nets, LNCS 691, pages 339\u2013356. Springer Verlag, Chicago, 1993."},{"key":"4_CR11","unstructured":"L. Portinale. Petri net models for diagnostic knowledge representation and reasoning. PhD Thesis, Dip. Informatica, Universita' di Torino, 1993."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"B. Pradin-Chezalviel and R. Valette. Petri nets and linear logic for process oriented diagnosis. In Proc. IEEE Int. Conference on Systems Man and Cybernetics, Le Touquet France, 1993.","DOI":"10.1109\/ICSMC.1993.384881"},{"key":"4_CR13","unstructured":"E. Rich and K. Knight. Artificial Intelligence (2nd Edition). Mac Graw Hill, 1991."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"M. Silva and R. Valette. Petri nets and flexible manifacturing. In Advances in Petri Nets 1989. Springer-Verlag, 1989. LNCS 424.","DOI":"10.1007\/3-540-52494-0_38"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"D. Taubner. On the implementation of Petri nets. In Proceedings of the 8 th International Conference on Application and Theory of Petri Nets, 1987.","DOI":"10.1007\/3-540-50580-6_40"},{"key":"4_CR16","unstructured":"R. Valette and M. Courvoisier. Petri nets and artificial intelligence. In Proc. Int. Workshop on Emerging Technologies for Factory Automation, North Queensland, Australia, 1992."},{"key":"4_CR17","volume-title":"Technical Report UIC-EECS-87-2","author":"D. Zhang","year":"1987","unstructured":"D. Zhang and T. Murata. Fixpoint semantics for Petri net model of definite clause logic programs. Technical Report UIC-EECS-87-2, University of Illinois at Chicago, 1987. also to appear in Advances in the Theory of Computation and Computational Mathematics, Ablex Publ."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58152-9_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:29Z","timestamp":1605647849000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}