Data recorded by intelligent electronic devices such as protective relays contain a wealth of valuable information that can be used beyond post-mortem analysis of fault events. The objective of this ...

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