Modelling and analysis of a semaphore system by an extended stochastic Petri net

Sugasawa, Yoshio; Jin, Qun; Zhang, Jian-Ting; Seya, Koichiro

doi:10.1080/00207729108910602

Cited by 3 publications

(3 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As shown in equation (18), supporting that the experimental results correspond to the theoretical ones better, C ij will be closer to 1. Otherwise, it will be close to 0.…”

Section: Methods Of Validation and Analysissupporting

confidence: 68%

“…The successful developments in the theory of highlevel Petri nets have made it an important tool in modeling more complex systems, [17][18][19][20] highlighting vital clues to solve the problems listed above. This type of models makes it possible to obtain much more succinct description than the LLPNs and, most critically, offer a wide range of tools for simulation and analysis.…”

Section: Introductionmentioning

confidence: 99%

“…High-level Petri nets are now widely used in both theoretical analysis and practical modeling of distributed and concurrent systems. [18][19][20] Most practical applications of Petri net use one of the different kinds of high-level Petri nets, which suit numerous industrial projects such as the computer platform, networks and expert information systems. [18][19][20][21] High-level Petri net is a powerful tool to model the characteristics of the mechanical system.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Modeling and analysis of failure propagation of mechanical system with multi-operation states using high-level Petri net

Yan

Gao

2014

Proceedings of the Institution of Mechanical Engineers, Part O:

View full text Add to dashboard Cite

Modeling and analyzing the behavior of mechanical systems is a promising solution to achieve higher stability, reliability, availability and operability. The accurate description of the complex working principle in the mechanical system, especially the stepwise operation, is one of the crucial issues in developing a model for monitoring the state of mechanical system. This article introduces a practical method for system behavior modeling and failure analysis of the mechanism with principles of multi-operation, using high-level Petri net as the modeling language. The importance of faults and failure propagation mechanism is investigated by the state vector and the mutation vector. Case study of the proposed method contributes to validating the effectiveness of the method and provides clues for identifying weak links and evaluating reliability of the solar array system.

show abstract

“…As shown in equation (18), supporting that the experimental results correspond to the theoretical ones better, C ij will be closer to 1. Otherwise, it will be close to 0.…”

Section: Methods Of Validation and Analysissupporting

confidence: 68%

Section: Introductionmentioning

confidence: 99%