Abstract:

A modeling method is proposed to analyze the availability of the basic equipment task unit, and a timed Petri net model is constructed with enabling delay timing mechanism. By transforming the theory model, the simulation model is constructed based on the timing mechanism of the token with timestamp in executable specification tool (ExSpect). Applying the model, the effect of task request and maintenance force deployment on availability are  researched. The difference and mechanism between basic equipment task unit and single equipment availability are analyzed. The  results indicate that the model is a powerful tool to analyze the availability of the basic equipment task unit, by reason of its characters such as visualization, formalization, generalization and expandability.