A petri-net based reasoning procedure for fault identification in sequential operations

Yi Feng Wang, Chuei Tin Chang

Research output: Contribution to journalConference article

Abstract

In implementing any hazard analysis method, there is a need to reason deductively for identifying all possible fault origins that could lead to an undesirable consequence. Due to the complex time-variant cause-and-effect relations between events and states in sequential operations, the manual deduction process is always labor intensive and often error-prone. The theme of the present study is thus concerned mainly with the development of Petri-net based reasoning algorithms for automating such cause-finding procedures. The effectiveness and correctness of this approach are demonstrated with a realistic example in this paper.

Original languageEnglish
Pages (from-to)1265-1272
Number of pages8
JournalLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
Volume2773 PART 1
Publication statusPublished - 2003 Dec 1
Event7th International Conference, KES 2003 - Oxford, United Kingdom
Duration: 2003 Sep 32003 Sep 5

Fingerprint

Fault Identification
Deduction
Petri nets
Petri Nets
Hazard
Correctness
Hazards
Fault
Reasoning
Personnel

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

@article{56102ccc6019495bb232c4f0039965ea,
title = "A petri-net based reasoning procedure for fault identification in sequential operations",
abstract = "In implementing any hazard analysis method, there is a need to reason deductively for identifying all possible fault origins that could lead to an undesirable consequence. Due to the complex time-variant cause-and-effect relations between events and states in sequential operations, the manual deduction process is always labor intensive and often error-prone. The theme of the present study is thus concerned mainly with the development of Petri-net based reasoning algorithms for automating such cause-finding procedures. The effectiveness and correctness of this approach are demonstrated with a realistic example in this paper.",
author = "Wang, {Yi Feng} and Chang, {Chuei Tin}",
year = "2003",
month = "12",
day = "1",
language = "English",
volume = "2773 PART 1",
pages = "1265--1272",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

A petri-net based reasoning procedure for fault identification in sequential operations. / Wang, Yi Feng; Chang, Chuei Tin.

In: Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 2773 PART 1, 01.12.2003, p. 1265-1272.

Research output: Contribution to journalConference article

TY - JOUR

T1 - A petri-net based reasoning procedure for fault identification in sequential operations

AU - Wang, Yi Feng

AU - Chang, Chuei Tin

PY - 2003/12/1

Y1 - 2003/12/1

N2 - In implementing any hazard analysis method, there is a need to reason deductively for identifying all possible fault origins that could lead to an undesirable consequence. Due to the complex time-variant cause-and-effect relations between events and states in sequential operations, the manual deduction process is always labor intensive and often error-prone. The theme of the present study is thus concerned mainly with the development of Petri-net based reasoning algorithms for automating such cause-finding procedures. The effectiveness and correctness of this approach are demonstrated with a realistic example in this paper.

AB - In implementing any hazard analysis method, there is a need to reason deductively for identifying all possible fault origins that could lead to an undesirable consequence. Due to the complex time-variant cause-and-effect relations between events and states in sequential operations, the manual deduction process is always labor intensive and often error-prone. The theme of the present study is thus concerned mainly with the development of Petri-net based reasoning algorithms for automating such cause-finding procedures. The effectiveness and correctness of this approach are demonstrated with a realistic example in this paper.

UR - http://www.scopus.com/inward/record.url?scp=8344258295&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=8344258295&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:8344258295

VL - 2773 PART 1

SP - 1265

EP - 1272

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -