{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:01:31Z","timestamp":1767650491068},"reference-count":61,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":3947,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1016\/s0004-3702(02)00292-8","type":"journal-article","created":{"date-parts":[[2002,10,7]],"date-time":"2002-10-07T19:23:56Z","timestamp":1034018636000},"page":"19-51","source":"Crossref","is-referenced-by-count":27,"title":["Process algebras for systems diagnosis"],"prefix":"10.1016","volume":"142","author":[{"given":"Luca","family":"Console","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudia","family":"Picardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"Ribaudo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"1\u20133","key":"10.1016\/S0004-3702(02)00292-8_BIB001","volume":"24","year":"1984","journal-title":"Artificial Intelligence"},{"issue":"1\u20133","key":"10.1016\/S0004-3702(02)00292-8_BIB002","volume":"51","year":"1991","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(02)00292-8_BIB003","volume":"12","year":"1999","journal-title":"AI Communications"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB004","series-title":"Modelling with Generalized Stochastic Petri Nets","author":"Ajmone Marsan","year":"1995"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB005","series-title":"Proc. 7th Internat. Conf. Principles of Knowledge Representation and Reasoning (KR-2000), Breckenridge, CO","first-page":"311","article-title":"Formulating diagnostic problem solving using an action language with narratives and sensing","author":"Baral","year":"2000"},{"issue":"1","key":"10.1016\/S0004-3702(02)00292-8_BIB006","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/S0004-3702(99)00019-3","article-title":"Diagnosis of large active systems","volume":"110","author":"Baroni","year":"1999","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB007","series-title":"Handbook of Process Algebra","author":"Bergstra","year":"2001"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB008","series-title":"TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems","author":"Bernardo","year":"1998"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB009","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","article-title":"A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time","volume":"201","author":"Bernardo","year":"1998","journal-title":"Theoretical Computer Science"},{"issue":"1\u20134","key":"10.1016\/S0004-3702(02)00292-8_BIB010","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF01530738","article-title":"Explanatory diagnoses and their characterization by circumscription","volume":"11","author":"Besnard","year":"1994","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1","key":"10.1016\/S0004-3702(02)00292-8_BIB011","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0004-3702(98)00044-7","article-title":"A spectrum of definitions for temporal model-based diagnosis","volume":"102","author":"Brusoni","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB012","series-title":"Proc. Second Workshop on Process Algebras and Performance Modelling","article-title":"Markovian process algebra composition and equivalence","author":"Buchholz","year":"1994"},{"issue":"1\u20133","key":"10.1016\/S0004-3702(02)00292-8_BIB013","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(91)90005-5","article-title":"The computational complexity of abduction","volume":"49","author":"Bylander","year":"1991","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/S0004-3702(02)00292-8_BIB014","first-page":"33","article-title":"Generating on-board diagnostics of dynamic automotive systems based on qualitative deviations","volume":"12","author":"Cascio","year":"1999","journal-title":"AI Communications"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB015","series-title":"Model Checking","author":"Clarke","year":"1999"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB016","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/151646.151648","article-title":"The Concurrency Workbench: A semantics-based tool for the verification of concurrent systems","volume":"15","author":"Cleaveland","year":"1993","journal-title":"ACM Trans. Programming Languages and Syst."},{"key":"10.1016\/S0004-3702(02)00292-8_BIB017","series-title":"Proc. IJCAI-99, Stockholm, Sweden","first-page":"1393","article-title":"Model-based diagnosis in the real world: lessons learned and challenges remaining","author":"Console","year":"1999"},{"issue":"1\u20134","key":"10.1016\/S0004-3702(02)00292-8_BIB018","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BF01530752","article-title":"Diagnosing time-varying misbehavior: An approach based on model decomposition","volume":"11","author":"Console","year":"1994","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB019","series-title":"Proc. IJCAI-89, Detroit, MI","first-page":"1311","article-title":"A theory of diagnosis for incomplete causal models","author":"Console","year":"1989"},{"issue":"3","key":"10.1016\/S0004-3702(02)00292-8_BIB020","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","article-title":"A spectrum of logical definitions of model-based diagnosis","volume":"7","author":"Console","year":"1991","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB021","series-title":"Proc. 9th Internat. Workshop on Principles of Diagnosis","first-page":"24","article-title":"When abductive diagnosis fails to explain too precise observations: An extended spectrum of definitions of MBD based on abstracting observations","author":"Cordier","year":"1998"},{"issue":"1\u20133","key":"10.1016\/S0004-3702(02)00292-8_BIB022","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","article-title":"Diagnostic reasoning based on structure and behavior","volume":"24","author":"Davis","year":"1984","journal-title":"Artificial Intelligence"},{"issue":"2\u20133","key":"10.1016\/S0004-3702(02)00292-8_BIB023","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","article-title":"Characterizing diagnoses and systems","volume":"56","author":"de Kleer","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB024","series-title":"Proc. IJCAI-89, Detroit, MI","first-page":"1324","article-title":"Diagnosis with behavioral modes","author":"de Kleer","year":"1989"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB025","series-title":"Proc. Third IEEE Conf. on AI Application, Orlando, FL","first-page":"156","article-title":"Distributed diagnosis of systems with multiple faults","author":"Geffner","year":"1987"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB026","series-title":"Proc. Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Vienna","article-title":"The PEPA workbench: A tool to support a Process Algebra based approach to performance modelling","author":"Gilmore","year":"1994"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB027","series-title":"Readings in Model-Based Diagnosis","year":"1992"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB028","series-title":"A Compositional Approach to Performance Modelling","author":"Hillston","year":"1996"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB029","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB030","series-title":"Industrial Applications of Knowledge-Based Diagnosis","first-page":"183","article-title":"Artist: A methodological approach to specifying model-based diagnostic systems","author":"Leitch","year":"1992"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(02)00292-8_BIB031","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0004-3702(98)00081-2","article-title":"Analysis of notions of diagnosis","volume":"105","author":"Lucas","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB032","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1109\/24.406578","article-title":"Dependability modeling using Petri nets","volume":"44","author":"Malhotra","year":"1995","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB033","series-title":"Proc. 7th Internat. Workshop on Principles of Diagnosis","first-page":"147","article-title":"Diagnosis of dynamic systems does not necessarily require simulation","author":"Malik","year":"1996"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB034","series-title":"Applications Compendium, Monet, The European network of excellence in model-based systems and qualitative reasoning","year":"2000"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB035","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB036","series-title":"Proc. AAAI-97, Providence, RI","first-page":"100","article-title":"Monitoring, prediction and fault isolation in dynamic physical systems","author":"Mosterman","year":"1997"},{"issue":"6","key":"10.1016\/S0004-3702(02)00292-8_BIB037","doi-asserted-by":"crossref","first-page":"554","DOI":"10.1109\/3468.798059","article-title":"Diagnosis of continuous valued systems in transient operating regions","volume":"29","author":"Mosterman","year":"1999","journal-title":"IEEE Trans. Systems, Man Cybernetics"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB038","series-title":"Probabilistic Reasoning in Intelligent Systems","author":"Pearl","year":"1989"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB039","series-title":"Proc. 12th Internat. Workshop on Principles of Diagnosis (DX01)","first-page":"151","article-title":"Incremental decentralized diagnosis approach for the supervision of a telecommunication network","author":"Pencol\u00e9","year":"2001"},{"issue":"2","key":"10.1016\/S0004-3702(02)00292-8_BIB040","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1109\/TSMC.1987.4309027","article-title":"A probabilistic causal model for diagnostic problem solving\u2014Part I: Integrating symbolic causal inference with numeric probabilistic inference","volume":"17","author":"Peng","year":"1987","journal-title":"IEEE Trans. Systems, Man Cybernetics"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB041","series-title":"Abductive Inference Models for Diagnostic Problem Solving","author":"Peng","year":"1991"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB042","series-title":"Petri Net Theory and the Modeling of Systems","author":"Peterson","year":"1981"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB043","series-title":"An operational semantics for CSP, Technical Report CSR-114-82","author":"Plotkin","year":"1982"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB044","series-title":"Proc. IJCAI-89, Detroit, MI","first-page":"1304","article-title":"Normality and faults in logic-based diagnosis","author":"Poole","year":"1989"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB045","series-title":"The Knowledge Frontier","first-page":"331","article-title":"THEORIST: A logical reasoning system for defaults and diagnosis","author":"Poole","year":"1987"},{"issue":"1\u20134","key":"10.1016\/S0004-3702(02)00292-8_BIB046","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/BF01530737","article-title":"Consistency-based and abductive diagnoses as generalized stable models","volume":"11","author":"Preist","year":"1994","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB047","series-title":"Proc. AAAI-91, Anaheim, CA","first-page":"849","article-title":"Characterizing non-intermittent faults","author":"Raiman","year":"1991"},{"issue":"5","key":"10.1016\/S0004-3702(02)00292-8_BIB048","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/S0020-7373(83)80065-0","article-title":"Diagnostic expert systems based on a set covering model","volume":"19","author":"Reggia","year":"1983","journal-title":"Internat. J. Man-Machine Studies"},{"issue":"1","key":"10.1016\/S0004-3702(02)00292-8_BIB049","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","article-title":"A theory of diagnosis from first principles","volume":"32","author":"Reiter","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB050","series-title":"Proc. IJCAI-93, Chambery, France","first-page":"1480","article-title":"Diagnosis of communicating systems: Dealing with incompleteness and uncertainty","author":"Riese","year":"1993"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB051","series-title":"Supervision de R\u00e9seaux de T\u00e9l\u00e9communication: Une approche \u00e0 base de mod\u00e8les, PhD thesis","author":"Roz\u00e9","year":"1997"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB052","series-title":"Proc. 9th Internat. Workshop on Principles of Diagnosis","first-page":"246","article-title":"From electrics to emissions: Experiences in applying model-based diagnosis to real problems in real cars","author":"Sachenbacher","year":"1998"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB053","series-title":"Proc. 5th Internat. Workshop on Principles of Diagnosis","first-page":"269","article-title":"A discrete event systems approach to failure diagnosis","author":"Sampath","year":"1994"},{"issue":"9","key":"10.1016\/S0004-3702(02)00292-8_BIB054","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","article-title":"Diagnosability of discrete event systems","volume":"40","author":"Sampath","year":"1995","journal-title":"IEEE Trans. Automatic Control"},{"issue":"2","key":"10.1016\/S0004-3702(02)00292-8_BIB055","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","article-title":"Failure diagnosis using discrete event models","volume":"4","author":"Sampath","year":"1996","journal-title":"IEEE Trans. Control Syst. Technol."},{"issue":"1\u20134","key":"10.1016\/S0004-3702(02)00292-8_BIB056","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1007\/BF01530756","article-title":"Sensor placement for diagnosability","volume":"11","author":"Scarl","year":"1994","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB057","series-title":"Proc. AAAI-90, Boston, MA","first-page":"343","article-title":"Abductive and default reasoning: A computational core","author":"Selman","year":"1990"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB058","series-title":"Proc. ECAI-92, Vienna","first-page":"863","article-title":"Knowledge-based diagnosis: an important challenge and touchstone for AI","author":"Struss","year":"1992"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB059","series-title":"Proc. 5th Internat. Workshop on Principles of Diagnosis","first-page":"334","article-title":"An extended spectrum of logical definitions of diagnosis","author":"ten Teije","year":"1994"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB060","series-title":"Le Raisonnement Qualitatif","author":"Trav\u00e9 Massuy\u00e8s","year":"1997"},{"key":"10.1016\/S0004-3702(02)00292-8_BIB061","series-title":"Proc. AAAI-96, Portland, OR","first-page":"971","article-title":"A model-based approach to reactive self-configuring systems","author":"Williams","year":"1996"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370202002928?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370202002928?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T01:54:58Z","timestamp":1554774898000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370202002928"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":61,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["S0004370202002928"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(02)00292-8","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}