Modeling and verification of a class of real-time systems by the use of High Level Petri Nets

Hassapis, George; Ananidou, D.

doi:10.1016/s0164-1212(02)00146-2

Cited by 1 publication

(3 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Equation (19) displays the information that for the binary bits, if it changes, DS l ij(T) is equal to 1. For decimal bits, the mutation vector is defined according to the relative growth of the data.…”

Section: Methods Of Validation and Analysismentioning

confidence: 99%

“…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

Section: Methods Of Validation and Analysismentioning

confidence: 99%