An Object-Oriented Petri Net Model Describing The Performance Of Autonomous Underwater Vehicle System

With the continuous development of the Autonomous Underwater Vehicle (AUV) technology, people pay more and more attention to the problem of increasing the reliability and accuracy of the system. Therefore, it is very important that how to establish the model of the system and analyze its performance before the experiments. In this thesis, a system modeling method is provided. And this method is chiefly applied in the AUV area. Structural properties and behavior performance can also be evaluated through this method. In this modeling method, the Petri Net is combined with Object-Oriented technology. The arithmetic of analyzing and evaluating the AUV system performance is also given in this thesis.The structure and behavior of the AUV system is analyzed. The modeling and analyzing method based on Petri Net is also studied. At present, it is accepted that modeling and analyzing large-scale complicated systems using Petri Net. The traditional Object-Oriented Petri Net (OOPN) can describe and analyze Discrete-Event Dynamic System(DEDS). So an Improved Object-Oriented Petri Net (IOOPN) is provided to modeling the AUV system. Based on IOOPN, structural properties and behavior performance of the AVU system can be analyzed. The reachability, safness, boundedness, liveness, of the AUV system all can be obtained. Two analyzing method, graphic analyzing method based on reachable graph and algebraic analyzing method based on invariant are basically discussed.