The paper firstly analyzes the basic structure of UML Sequence Diagram and gives the formal description of Object Petri Nets. For reuse, the formal description of reusable interaction is studied. Then ...

The control principle of the proposed method at different operating frequencies is analyzed in detail, and a simple implementation control block diagram is established based on the proposed method.