This paper proposes a novel approach to computing the reachability set by using place invariants and strict minimal siphons for S3PR with specific resource places. First, the set of invariant markings is enumerated. Then a necessary and sufficient condition is developed to decide whether a marking is spurious by analyzing the relationship between the number of tokens in the corresponding places of any strict minimal siphon and their bounds. In addition, the spurious markings are calculated. Finally, the reachability set of the net is generated by removing all the spurious markings from the set of invariant markings. Experimental results show the efficiency of the proposed method. 相似文献
A hybrid remotely operated underwater vehicle (HROV) capable of working to the full ocean depth has been developed. In order for the vehicle to achieve a certain survivability level, a self-repairing control system (SRCS) has been designed. It consists of two basic technologies, fault diagnosis and isolation (FDI) and reconfigurable control. For F'DI, a model-based hierarchical fault diagnosis system is designed for the HROV. Then, control strategies which reconfigure the control system at intervals according to information from the FDI system are presented. Combining the two technologies, it can obtain the fundamental frame of SRCS for the HROV. Considering the hazardous underwater environment at the limiting depth and the hybrid operating modes, an assessment of the HROV' s survivability is vitally needed before it enters operational service. This paper presents a new definition of survivability for underwater vehicles and develops a simple survivability model for the SRCS. As a result of survivability assessment for the SRCS, we are able to figure out the survivability of SRCS and make further optimization about it. The methodology developed herein is also applicable to other types of underwater vehicles. 相似文献