Abstract: 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 ...

This paper presents a new active anti-islanding detection method for distributed power generation systems. This method is based on introducing a disturbance at the inverter output and observing the ...