<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.0 20120330//EN" "JATS-journalpublishing1.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article">
	<front>
		<journal-meta>
			<journal-id journal-id-type="publisher-id">INFORMATICA</journal-id>
			<journal-title-group>
				<journal-title>Informatica</journal-title>
			</journal-title-group>
			<issn pub-type="epub">0868-4952</issn>
			<issn pub-type="ppub">0868-4952</issn>
			<publisher>
				<publisher-name>VU</publisher-name>
			</publisher>
		</journal-meta>
		<article-meta>
			<article-id pub-id-type="publisher-id">inf16309</article-id>
			<article-id pub-id-type="doi">10.15388/Informatica.2005.109</article-id>
			<article-categories>
				<subj-group subj-group-type="heading">
					<subject>Research article</subject>
				</subj-group>
			</article-categories>
			<title-group>
				<article-title>Fault Diagnosis of Distributed Discrete Event Systems Using OBDD</article-title>
			</title-group>
			<contrib-group>
				<contrib contrib-type="Author">
					<name>
						<surname>Xue</surname>
						<given-names>Fei</given-names>
					</name>
					<email xlink:href="mailto:xuefei00@mails.tsinghua.edu.cn">xuefei00@mails.tsinghua.edu.cn</email>
					<xref ref-type="aff" rid="j_INFORMATICA_aff_000"/>
				</contrib>
				<contrib contrib-type="Author">
					<name>
						<surname>Zheng</surname>
						<given-names>Da-zhong</given-names>
					</name>
					<xref ref-type="aff" rid="j_INFORMATICA_aff_000"/>
				</contrib>
				<contrib contrib-type="Author">
					<name>
						<surname>Yan</surname>
						<given-names>Lu</given-names>
					</name>
					<xref ref-type="aff" rid="j_INFORMATICA_aff_001"/>
				</contrib>
				<aff id="j_INFORMATICA_aff_000">Department of Automation, Tsinghua University, Beijing 100084, China</aff>
				<aff id="j_INFORMATICA_aff_001">Turku Centre for Computer Science (TUCS) and Department of Computer Science, Åbo Akademi University, Turku 20520, Finland</aff>
			</contrib-group>
			<pub-date pub-type="epub">
				<day>01</day>
				<month>01</month>
				<year>2005</year>
			</pub-date>
			<volume>16</volume>
			<issue>3</issue>
			<fpage>431</fpage>
			<lpage>448</lpage>
			<history>
				<date date-type="received">
					<day>01</day>
					<month>04</month>
					<year>2004</year>
				</date>
			</history>
			<abstract>
				<p>In this paper, we study the fault diagnosis problem for distributed discrete event systems. The model assumes that the system is composed of distributed components that are modeled in labeled Petri nets and interact with each other via sets of common resources (places). Further, a component's own access to a common resource is an observable event. Based on the diagnoser approach proposed by Sampath et al, a distributed fault diagnosis algorithm with communication is presented. The distributed algorithm assumes that the local diagnosis process can exchange messages upon the occurrence of observable events. We prove the distribute diagnosis algorithm is correct in the sense that it recovers the same diagnostic information as the centralized diagnosis algorithm. And then, the OBDD (Ordered Binary Decision Diagrams) is introduced to manage the state explosion problem in state estimation of the system.</p>
			</abstract>
			<kwd-group>
				<label>Keywords</label>
				<kwd>fault diagnosis</kwd>
				<kwd>discrete event system</kwd>
				<kwd>Petri net</kwd>
				<kwd>OBDD</kwd>
			</kwd-group>
		</article-meta>
	</front>
</article>