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

Prosumers are those type of consumers that consume as well as produce the electrical energy. The recent research work is focused on finding more optimal solutions to the power trading scenarios in ...