The use of Petri nets to analyze coherent fault trees

Hura, Gurdeep S.; Atwood, J. William

doi:10.1109/24.9864

Cited by 71 publications

(28 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Along with social progress and the development of science and technology, especially information technology, computer technology, modern communications technology, the development and application of network technology; system faces more and more complex problems, making system analysis more difficult [6]. So, people started looking for a new approach to system modeling and analysis, and hence Petri nets came into being.…”

Section: Description and Analysis Of The Sto-chastic Petri Network (Spn)mentioning

confidence: 99%

Extend Dynamic Fault Tree Algorithm Based on Stochastic Petri Net and Micro-Satellite On-Board Computer Case Analysis

Yu¹,

Jun-zhou²

2015

TOAUTOCJ

View full text Add to dashboard Cite

Extended dynamic fault tree (DFT) diagrams represent logical relationships between events. Fault tree model can be used to identify system reliability or potential security weaknesses, and for detecting system of fault-tolerant systems, redundant (or cold and hot spares) repairable system, and public library system with order dependencies for system reliability analysis (SRA). We use stochastic Petri net for the extended DFT analysis and improved its analytic reliability using the micro-satellite on-board computer.

show abstract

Section: Description and Analysis Of The Sto-chastic Petri Network (Spn)mentioning

confidence: 99%

Extend Dynamic Fault Tree Algorithm Based on Stochastic Petri Net and Micro-Satellite On-Board Computer Case Analysis

Yu¹,

Jun-zhou²

2015

TOAUTOCJ

View full text Add to dashboard Cite

show abstract

“…The present focus on textual notations is also justified by the observation that many of these diagrammatic forms are extensions of the logics that are discussed in this paper. For example, there is a correspondence between Petri Nets, Fault Tree components and classical logic (Biljon, 1988, Hura andAttwood, 1988). This should not be surprising given that classical logic is, typically, used to provide the semantics for these diagrammatic notations.…”

Section: Classical Logicmentioning

confidence: 99%

A survey of logic formalisms to support mishap analysis

Johnson

Holloway

2003

Reliability Engineering & System Safety

View full text Add to dashboard Cite

Mishap investigations provide important information about adverse events and near miss incidents. They are intended to help avoid any recurrence of previous failures. Over time, they can also yield statistical information about incident frequencies that helps to detect patterns of failure and can validate risk assessments. However, the increasing complexity of many safety critical systems is posing new challenges for mishap analysis. Similarly, the recognition that many failures have complex, systemic causes has helped to widen the scope of many mishap investigations. These two factors have combined to pose new challenges for the analysis of adverse events. A new generation of formal and semi-formal techniques have been proposed to help investigators address these problems. We introduce the term 'mishap logics' to collectively describe these notation that might be applied to support the analysis of mishaps. The proponents of these notations have argued that they can be used to formally prove that certain events created the necessary and sufficient causes for a mishap to occur. These proofs can be used to reduce the bias that is often perceived to effect the interpretation of adverse events. Others have argued that one cannot use logic formalisms to prove causes in the same way that one might prove propositions or theorems. Such mechanisms cannot accurately capture the wealth of inductive, deductive and statistical forms of inference that investigators must use in their analysis of adverse events. This paper provides an overview of these mishap logics. It also identifies several additional classes of logic that might also be used to support mishap analysis.

show abstract

“…They can model a system, provide a mathematical representation of the system, and concisely represent the activities, resources, and constrains of the modeled system. [11][12][13][14][15][16] With modeling of the transformation between states of matching using Petri nets, knowledge about the rule of state transformation can be easily expressed through the assignment of token and firing sequences. Recently, Hura and Zhou 16 have proposed an application of Petri nets for representation and matching of objects.…”

Section: Introductionmentioning

confidence: 99%

Two-dimensional occluded object matching using petri nets

Zhou

Hura

2002

Int. J. Intell. Syst.

View full text Add to dashboard Cite

This article discusses the use of Petri nets to model the process of object matching between an image and a model under different two-dimensional geometric transformations. This transformation finds its applications in sensor-based robot control, flexible manufacturing systems, industrial inspection, and so on. Its topological structure relation, called point-line relation structure (PLRS), presents a Petri net-based description approach for object structure. It has been shown how Petri nets can be used to model the matching process, and an optimal or near optimal matching can be obtained by tracking the reachability graph of the net. The experiment result shows that objects can be successfully identified and located under two-dimensional transformation such as translations, rotations, scale changes, and distortions due to partial object occlusion.

show abstract

The use of Petri nets to analyze coherent fault trees

Cited by 71 publications

References 10 publications

Extend Dynamic Fault Tree Algorithm Based on Stochastic Petri Net and Micro-Satellite On-Board Computer Case Analysis

Extend Dynamic Fault Tree Algorithm Based on Stochastic Petri Net and Micro-Satellite On-Board Computer Case Analysis

A survey of logic formalisms to support mishap analysis

Two-dimensional occluded object matching using petri nets

Contact Info

Product

Resources

About