Author
Dimitra Ananidou
Bio: Dimitra Ananidou is an academic researcher from Aristotle University of Thessaloniki. The author has contributed to research in topics: Automation & Search algorithm. The author has an hindex of 1, co-authored 1 publications receiving 2 citations.
Papers
More filters
TL;DR: In this study the template model was used to create a specific for this application HLPN model, and the response times of two automation functions were predicted and compared with those derived from the operating characteristics of the reactor.
2 citations
Cited by
More filters
16 Jan 2014
TL;DR: In this paper, a Petri net-based model for modeling and failure analysis of the mechanism with principles of multi-operation, using high-level Petri nets as the modeling language, is presented.
Abstract: 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.
1 citations
Proceedings Article•
01 Jan 1986
TL;DR: A closed queueing network model is constructed to address workload effects on computer performance for a highly reliable unibus multiprocessor used in real-time control and experimental and analytic results are compared, demonstrating the validity of the model.
Abstract: A closed queueing network model is constructed to address workload effects on computer performance for a highly reliable unibus multiprocessor used in real-time control. The model consists of multiserver nodes and a nonpreemptive priority queue. Use of this model requires partitioning the workload into task classes. The time-average steady-state solution of the queuing model directly produces useful results that are necessary in performance evaluation. The model was experimentally justified with the fault-tolerant multiprocessor located at the NASA AIRLAB. Extensive experiments were performed using a synthetic workload generator to measure directly performance parameters, such as processor idle time, system bus contention and task processing times. These measurements determine values for parameters in the queueing model. Experimental and analytic results are compared, demonstrating the validity of the model. >