A FULL AUTOMATED FAULT DIAGNOSIS SYSTEM BASED ON COLORED PETRI NET Giovanni Cordeiro Barroso Raimundo Furtado Sampaio Robson Alencar Azevedo Ruth Pastôra

A FULL AUTOMATED FAULT DIAGNOSIS SYSTEM BASED ON COLORED PETRI NET

Giovanni Cordeiro BarrosoRaimundo Furtado Sampaio

Robson Alencar AzevedoRobson Alencar AzevedoRuth Pastôra Saraiva Leão

Federal University of Ceará (UFC)

Ana Lucia Gondim ColaçoEudes B. de Medeiros

Energy Company of Ceará (COELCE)

Giovanni Cordeiro BarrosoRaimundo Furtado Sampaio

Robson Alencar AzevedoRobson Alencar AzevedoRuth Pastôra Saraiva Leão

Federal University of Ceará (UFC)

Ana Lucia Gondim ColaçoEudes B. de Medeiros

Energy Company of Ceará (COELCE)

10th Workshop and Tutorial on Practical Use of Coloured Petri Nets

and the CPN Tools

OUTLINE Motivation

Power Electrical System

The FDS with Interpretation through a Lookup Table

The FDS Using Interpretation through Colored Petri Net

Case Study

Conclusion

• The avalanche of information reported by the SCADA system to the operators at the Operation Control during events in the power system.

• The need of a fast and accurate fault diagnosis to restore the power system with security.

• How to deal with the updating of the topology change of the power system.

MotivationMotivationPower Electrical

SystemFDS Colored Petri

Net

FDS Lookup Table

Case Study Conclusio

n

Transmission (69kV) Distribution (13.8kV)

4.863 kmTransmission Line

97Substation

2.855 MVA

212Transformers

72.056 km

3.834 MVA

112.668Transformers

UFC

MotivationPower

Electrical System


FDS Colored Petri

Net

FDS Lookup Table


n

MotivationPower

Electrical System


FDS Colored Petri

Net

FDS Lookup Table


n

69 kV 230 kV 500 kV

MotivationPower

Electrical System


FDS Colored Petri

Net

FDS Lookup Table


n

Sobral Regional

Control Center

MotivationPower

Electrical System


FDS Colored Petri

Net

FDS Lookup Table


n

Sobral Regional

MotivationPower

Electrical System


FDS Colored Petri

Net

FDS Lookup Table


n

D D

DD

DD

DD

DD

DD

DD

DD

D DD

D D

SE SOBRAL IISE CARIRÉ

SE NOVA RUSSAS

SE CRATEÚS

SE ARARAS02B1

02BA02B102BA02B1

02B1

02B1

SE IBIAPINA SE INHUÇU

02B1 02B1

12J1 12J1

12J6 12J6

12J712J7

12C2 12C2

12C4

12L1

12C4 12L2

12L1

12L2

12N1 12N1

12C1 12P2 12P2

DD

SE ARARAS II

02B1

12J1 12J1

12D1 12D1

D

12D1

D

12D1

02BA

D

02BA

12D102BA

D

02BA

12D1

08 Buses

11 Lines

69 kV

Bus Protection

MotivationPower

Electrical System


FDS Colored Petri

Net

FDS Lookup Table


n

08 Buses

11 Lines

69 kV

D D

DD

DD

DD

DD

DD

DD

DD

D DD

D D


SE NOVA RUSSAS

SE CRATEÚS

SE ARARAS02B1

02BA02B102BA02B1

02B1

02B1


02B1 02B1

12J1 12J1

12J6 12J6

12J712J7

12C2 12C2

12C4

12L1

12C4 12L2

12L1

12L2

12N1 12N1

12C1 12P2 12P2

DD

SE ARARAS II

02B1

12J1 12J1

12D1 12D1

D

12D1

D

12D1

02BA

D

02BA

12D102BA

D

02BA

12D1

Bus Protection

MotivationPower

Electrical System


FDS Colored Petri

Net

FDS Lookup Table


n

08 Buses

11 Lines

69 kV

D D

DD

DD

DD

DD

DD

DD

DD

D DD

D D


SE NOVA RUSSAS

SE CRATEÚS

SE ARARAS02B1

02BA02B102BA02B1

02B1

02B1


02B1 02B1

12J1 12J1

12J6 12J6

12J712J7

12C2 12C2

12C4

12L1

12C4 12L2

12L1

12L2

12N1 12N1

12C1 12P2 12P2

DD

SE ARARAS II

02B1

12J1 12J1

12D1 12D1

D

12D1

D

12D1

02BA

D

02BA

12D102BA

D

02BA

12D1

Line Protection

MotivationPower

Electrical System


FDS Colored Petri

Net

FDS Lookup Table


n

08 Buses

11 Lines

69 kV

D D

DD

DD

DD

DD

DD

DD

DD

D DD

D D


SE NOVA RUSSAS

SE CRATEÚS

SE ARARAS02B1

02BA02B102BA02B1

02B1

02B1


02B1 02B1

12J1 12J1

12J6 12J6

12J712J7

12C2 12C2

12C4

12L1

12C4 12L2

12L1

12L2

12N1 12N1

12C1 12P2 12P2

DD

SE ARARAS II

02B1

12J1 12J1

12D1 12D1

D

12D1

D

12D1

02BA

D

02BA

12D102BA

D

02BA

12D1

Line Protection

MotivationPower

Electrical System


FDS Colored Petri

Net

FDS Lookup Table


n

08 Buses

11 Lines

69 kV

D D

DD

DD

DD

DD

DD

DD

DD

D DD

D D


SE NOVA RUSSAS

SE CRATEÚS

SE ARARAS02B1

02BA02B102BA02B1

02B1

02B1


02B1 02B1

12J1 12J1

12J6 12J6

12J712J7

12C2 12C2

12C4

12L1

12C4 12L2

12L1

12L2

12N1 12N1

12C1 12P2 12P2

DD

SE ARARAS II

02B1

12J1 12J1

12D1 12D1

D

12D1

D

12D1

02BA

D

02BA

12D102BA

D

02BA

12D1

Framework

Collect and filter out data from the SCADA system

Process the diagnosis

The fault diagnosis report and the equipment involved in the event.

MotivationPower Electrical


Net

FDS Lookup Table

FDS Lookup Table


n



Net

FDS Lookup Table

FDS Lookup Table


n

1 (x,y,zaux,0)

1 (x,y1,y2,z,0)

1 (x,y1,y2,"T")

1 (x,y1,"D 1",z,0)

1 (x,y1,"D 1","52")

1 (x,y1,y2,"E T")

1 (x,y1,y2,"T")

1 (x,y1,y2,"IT")

1 (x,y1,y2,z)

1 (x,y1,y2,"T")1 (x,y1,y2,"N")

1 (x,y1,y2,"T")

1 (x,y1,y2,"IT")

1 (x,y,zaux,raux)1 (x,y1,y2,z,raux)

1 (x,y1,y2,z,raux)

1 (x,y1,y2,z,r+1)

1 (x,y1,y2,z,0)

1 (x,y1,y2,z,0)

1 (x,y1,y2,"54") 1 (x,y1,y2,"54")

1 (x,y1,y2,"55")1 (x,y1,y2,"54")

1 (x,y1,y2,z,0)

1 (x,y1,y2,z)

1 (x,y1,y2,z)

1 (x,y3,y4,z,0)

1 (x,y1,y2,z)

In Trans ferF iring

[z<>"50B F "]

Trans ferredF iring

[z<>"50B F "]

Trans ferredto Normal

In Trans fer toTrans ferred

Normal toIn Trans fer

F aultC ontinue R eclos ing

[(r<>0orelse raux=1)]

B ackupF iring

[z="50B F "]

M anualC los ing

M anualO pening

S upervis ion

[z="R V cc"orelse z="R wd"]

M ainF iring

[z<>"50B F "andalso (y1 y2=y3 y4orelse (z="87" andalso(y2=y4)))]

Trippingand

C learance

[z<>"R V cc"andalso z<>"R wd"]

C B in Trans fer

M NE M O NIC

C B Trans ferred

M NE M O NIC

A ux

M NE M O NIC 2R eclosed C B

M NE M O NIC 3

C B O utof O peration

M NE M O NIC

S upervis ion

M NE M O NIC

C ircuitB reaker 1 ("C R E ","12","T1","52")++

1 ("C R E ","11","T1","52")

O pen C B for open circuit breaker

M NE M O NIC 3

TrippedF unction

M NE M O NIC 3

R elay

1 ("C R E ","12","T1","87")

M NE M O NIC

M NE M O NIC

1 (x,y3,y4,"52")

1 (x,y1,y2,z,0)

1 (x,y3,y4,"52")

1 (x,y1,y2,z,0)

1 (x,y1,y2,"53")1 (x,y1,y2,z,r)

1 (x,y1,"D 1",z,0)

1 (x,y1,y2,z,0)1 (x,y1,"D 1","52")

Input Interface Layer



Net

FDS Lookup Table

FDS Lookup Table


n

Select and convert data in initial marking to CPN1.

CRE – Substation Code – CARIRÉ 12J7 – Equipment Code 50A – Protection Function CPN Token – 1`(“CRE”,“12”,“J7”,“50A”)

Diagnosis Table



Net

FDS Lookup Table

FDS Lookup Table


n

TRIPPED FUNCTIONOPEN CIRCUIT

BREAKERDIAGNOSIS

CRE,12J1,50A CRE,12J1,52Short-Circuit at 69kV bus at the

substation CariréCRE,12J6,50A CRE,12J6,52

CRE,12J7,50A CRE,12J7,52

Compare the final marking with a lookup table.

Requires a previous study by an expert of the system to update the table.

Drawback:



Net

FDS Lookup Table

FDS Lookup Table


n

Update of the network topology.

An off line study to update the table.


SystemFDS

Colored Petri Net

FDS Colored Petri

Net

FDS Lookup Table

Case Study

Conclusion

Framework

Collect and filter data from the SCADA system

Process the diagnosis

The fault diagnosis report and the equipment involved in the event.


SystemFDS

Colored Petri Net

FDS Colored Petri

Net

FDS Lookup Table


n

Differences between FDS lookup table and FDS Colored Petri Net:

– Lookup Table is replaced by a new CPN2.

– To update the topology is just necessary the inclusion/update of the tokens.

Motivation


FDS Colored Petri

Net

FDS Colored Petri

Net

FDS Lookup Table


n

GLOBAL DECLARATIONS-----------------------------------------------------------------------------------------

colset INT = int;colset DATA = string;colset MNEMONIC = product DATA * DATA *DATA*DATA*INT*DATA;colset MNEMONIC3 = product DATA * DATA * DATA*DATA*INT;colset MNEM3 = list MNEMONIC3;var x,x1,x2,x3,x4, y,y1,y2,y3,y4, z,z1 : DATA;var m6,m1,m2,m4:MNEM3;var k,p: INT;var m5,m8,m3,m7: MNEMONIC3;(* Functions *) (* Returns true if x is a member of list l, else returns false *) fun mem(x, l) = List.exists (fn y => x = y) l; (* Intersection of two lists. *) fun intersect(l1, l2) = List.foldr (fn (x, ys) => if mem(x, l2) then x :: ys else ys) [] l1;

GLOBAL DECLARATIONS-----------------------------------------------------------------------------------------

colset INT = int;colset DATA = string;colset MNEMONIC = product DATA * DATA *DATA*DATA*INT*DATA;colset MNEMONIC3 = product DATA * DATA * DATA*DATA*INT;colset MNEM3 = list MNEMONIC3;var x,x1,x2,x3,x4, y,y1,y2,y3,y4, z,z1 : DATA;var m6,m1,m2,m4:MNEM3;var k,p: INT;var m5,m8,m3,m7: MNEMONIC3;(* Functions *) (* Returns true if x is a member of list l, else returns false *) fun mem(x, l) = List.exists (fn y => x = y) l; (* Intersection of two lists. *) fun intersect(l1, l2) = List.foldr (fn (x, ys) => if mem(x, l2) then x :: ys else ys) [] l1;

(* Removes the first occurrence of x from l *) fun remElem(x, [] ) = [] | remElem(x, y::ys) = if x = y then ys else y::remElem(x,ys); fun removeRandom1(l1, l2) = let val l1Andl2 = intersect(l1,l2); val len = List.length(l1Andl2) - 1; val randElem = List.nth(l1Andl2, discrete(0, len)); val l1' = remElem(randElem, l1); val l2' = remElem(randElem, l2); in (randElem, randElem,l1', l2') end; fun removeRandom2(l1, l2) = let val len1 = List.length(l1)- 1; val len2 = List.length(l2) - 1; val randElem1 = List.nth(l1, discrete(0, len1)); val randElem2 = List.nth(l2, discrete(0, len2)); val l1' = remElem(randElem1, l1); val l2' = remElem(randElem2, l2); in (randElem1, randElem2, l1', l2') end;

(* Removes the first occurrence of x from l *) fun remElem(x, [] ) = [] | remElem(x, y::ys) = if x = y then ys else y::remElem(x,ys); fun removeRandom1(l1, l2) = let val l1Andl2 = intersect(l1,l2); val len = List.length(l1Andl2) - 1; val randElem = List.nth(l1Andl2, discrete(0, len)); val l1' = remElem(randElem, l1); val l2' = remElem(randElem, l2); in (randElem, randElem,l1', l2') end; fun removeRandom2(l1, l2) = let val len1 = List.length(l1)- 1; val len2 = List.length(l2) - 1; val randElem1 = List.nth(l1, discrete(0, len1)); val randElem2 = List.nth(l2, discrete(0, len2)); val l1' = remElem(randElem1, l1); val l2' = remElem(randElem2, l2); in (randElem1, randElem2, l1', l2') end;

Motivation


FDS Colored Petri

Net

FDS Colored Petri

Net

FDS Lookup Table


n

D iagnos isA na lys is

D iagnos is A na lys is

S C C apacito rB ank

M N E M O N IC 3

S C F eeder

M N E M O N IC 3

S C M V B us

M N E M O N IC 3

D amagedTrans fo rmer

M N E M O N IC 3

S C B ayT rans fo rmer

M N E M O N IC 3

S C TL o rH V B us

M N E M O N IC 3

S C TL

M N E M O N IC 3

S C H V B us

M N E M O N IC

O penC ircuit B reaker

1 ("N V R ","12","L 1","50B F ", 0)++1 ("N V R ","12","L 2","50B F ",0)

M N E M 3

TrippedF unction

1 ("N V R ","12","N 1","51C ", 0)++1 ("N V R ","12","N 1","51C ",0)

M N E M 3


SC = short-circuited

TL = transmission line

Main Page

HV = high voltage

MV = medium voltage

Motivation


FDS Colored Petri

Net

FDS Colored Petri

Net

FDS Lookup Table


n

Analysis Diagnosis Subpage

F aultA na lys is

F ault A na lys is

D iagnos es

D iagnos es

O pened

M N E M O N IC 3

F a iled

M N E M O N IC 3

T rippedF unction

InM N E M 3

O penC ircuit B reake r

InM N E M 3

Tripped

M N E M O N IC 3

D amagedT rans fo rmer

O utM N E M O N IC 3

S C C apac ito rB ank


S C F eeder


S C M V B us



O ut

M N E M O N IC 3

S C TL o rH V B us

O ut

M N E M O N IC 3

S C TL


S C H V B us

O utM N E M O N IC

C ircuitB reake r

M N E M O N IC 3

O ut O utO ut O ut O ut O ut O utO ut

InIn

D iagnos es

F ault A na lys is

Motivation


FDS Colored Petri

Net

FDS Colored Petri

Net

FDS Lookup Table


n

Fault Analysis

m2m4

m2

m4m1

m6

m1m6

[inte rsect(m4, m6)=nil,m6<>nil,m4<>nil]

input (m6,m4);output (m8,m5,m1,m2);actionremoveR andom2(m6,m4)

[inte rsect(m4, m6)<>nil,m6<>nil,m4<>nil]

M N E M O N IC 3

M N E M O N IC 3 M N E M O N IC 3

M N E M O N IC 3

T rippedF unction

I/O M N E M 3I/O


I/OI/OM N E M 3

((#1 m5),(#2 m5),(#3 m5),"A ",(#5 m5))

T ripped

O utO ut

C ircuitB reaker

O utO ut

input (m6,m4);output (m8,m5,m1,m2);actionremoveR andom1(m6,m4)

F a iled

O utO ut

((#1 m8),(#2 m8),(#3 m8),"F ",0)

O pened

O utO ut

m5

m8

m8

(if (#1 m5)<>(#1 m8) then (#1 m8)e lse (#1 m5),if (#2 m5)<>(#2 m8) then (#2 m8)e lse (#2 m5),if (#3 m5)<>(#3 m8) then (#3 m8)e lse (#3 m5),if (#4 m5)<>(#4 m8) then (#4 m8)e lse (#4 m5), (#5 m5))

equipment no t fa il

equipment fa il

Motivation


FDS Colored Petri

Net

FDS Colored Petri

Net

FDS Lookup Table


n

Diagnosis Subpage

C apacitorB ank

C apacitor B ank

F eeder

F eeder

Trans former

Trans former

N o E quipment at theO ppos ite S ide o f the C ircuit

O ne C ircuit B reaker

H V B us

H V B us

D amagedTrans former


C apacitorB ank

1 ("A R U ","11","H 1","N ",1)++1 ("A R U ","11","H 3","N ",1)++1 ("A R U ","11","H 4","N ",1)++1 ("IB P ","11","H 1","N ",1)++1 ("IB P ","11","H 2","N ",1)++1 ("IN H ","11","H 1","N ",1)++1 ("IN H ","11","H 2","N ",1)++1 ("N V R ","11","H 1","N ",1)++1 ("N V R ","11","H 2","N ",1)

M N E M O N IC 3

S C C apacitorB ank


F eeder

M N E M O N IC 3

1 ("IN H ","11","B 1","N ",1)++1 ("N V R ","11","B 1","N ",1)++1 ("IN H ","11","D 1","N ",1)++1 ("A R U ","12","D 1","N ",1)++1 ("N V R ","11","D 1","N ",1)

1 ("A R U ","12","T1","Y",2,"A R U B ")++1 ("A R U ","12","T2","Y",2,"A R U B ")++1 ("A R U ","11","T1","Y",2,"A R U B ")++1 ("A R U ","11","T2","Y",2,"A R U B ")++1 ("C R E ","12","T1","Y",1,"C R E B ")++1 ("C R E ","11","T1","Y",1,"C R E B ")++1 ("IB P ","12","T1","Y",1,"IB P B ")++1 ("IB P ","11","T1","Y",1,"IB P B ")++1 ("IN H ","12","T1","N ",1,"IN H B ")

M N E M O N IC

M N E M O N IC

L ineInput

M N E M O N IC

S C F eeder


M N E M O N IC 3

M N E M O N IC 3M N E M O N IC 3

S C H V B us

O utM N E M O N IC

S C TL orH V B us

O ut

M N E M O N IC 3

S C B ayTrans former


O ut

O utO ut

O ut O ut

O ut

H V B us O ne C ircuit B reaker Trans former

F eeder C apacitor B ank

L ines

L inesL ines

S C TL

O utO ut

1 ("C R E ","12","J 1","Y",3,"S B D ")++1 ("C R E ","12","J 6","Y",3,"S B D ")++1 ("C R E ","12","J 7","Y",3,"S B D ")++1 ("A R U ","12","C 4","Y",2,"C R E ")++1 ("A R U ","12","C 2","Y",2,"C R E ")++1 ("N V R ","12","L 1","Y",3,"A R U ")++1 ("N V R ","12","L 2","Y",3,"A R U ")++1 ("C A T","12","N 1","Y",1,"N V R ")++1 ("IN H ","12","P 2","Y",1,"IB P ")++1 ("N V R ","12","R 1","Y",3,"C R E ")

L ineO utput

1 ("C R E ","12","C 1","N ",1,"IB P ")++1 ("C R E ","12","C 4","Y",2,"A R U ")++1 ("C R E ","12","C 2","Y",2,"A R U ")++1 ("A R U ","12","J 1","Y",1,"A R D ")++1 ("A R U ","12","L 1","Y",3,"N V R ")++1 ("A R U ","12","L 2","Y",3,"N V R ")++1 ("N V R ","12","N 1","Y",1,"C A T")++1 ("C A T","12","C 1","Y",1,"C A T")++1 ("IB P ","12","P 2","Y",1,"IN H ")++1 ("C R E ","12","R 1","Y",3,"N V R ")

C ircuitB reaker

InIn

Trans former

M V B us

M N E M O N IC 3

M V B us

M V B usM V B us

S C M V B us

O utO ut

1 ("A R U ","21","Y1","N ",1)++1 ("A R U ","21","Y2","N ",1)++1 ("A R U ","21","Y4","N ",1)++1 ("A R U ","21","Y5","N ",1)++1 ("A R U ","21","Y6","N ",1)++1 ("A R U ","21","Y7","N ",1)++1 ("A R U ","21","Y8","N ",1)++1 ("C R E ","21","C 2","N ",1)++1 ("A R U ","21","C 4","N ",1)++1 ("IB P ","21","I1","N ",1)++1 ("IB P ","21","I2","N ",1)++1 ("IB P ","21","I3","N ",1)++1 ("IB P ","21","I4","N ",1)++1 ("IN H ","21","I2","N ",1)++1 ("IN H ","21","I3","N ",1)++1 ("IN H ","21","I4","N ",1)++1 ("IN H ","21","I5","N ",1)++1 ("IN H ","21","I6","N ",1)++1 ("N V R ","21","N 1","N ",1)++1 ("N V R ","21","N 2","N ",1)++1 ("N V R ","21","N 3","N ",1)++1 ("N V R ","21","N 5","N ",1)

Motivation


FDS Colored Petri

Net

FDS Colored Petri

Net

FDS Lookup Table


n



Net

FDS Lookup Table

Case Study


n

Sobral Regional

SC1




M N E M O N IC 3

S C F eeder

M N E M O N IC 3

S C M V B us

M N E M O N IC 3

D amagedTrans fo rmer

M N E M O N IC 3


M N E M O N IC 3

S C TL o rH V B us

M N E M O N IC 3

S C TL

M N E M O N IC 3

S C H V B us

M N E M O N IC


1 ("N V R ","12","L 1","50B F ", 0)++1 ("N V R ","12","L 2","50B F ",0)

M N E M 3

TrippedF unction

1 ("N V R ","12","N 1","51C ", 0)++1 ("N V R ","12","N 1","51C ",0)

M N E M 3


1

1 [("N V R ","12","L 1","50B F ",0),("N V R ","12","L 2","50B F ",0)]

1

1 [("N V R ","12","N 1","51C ",0),("N V R ","12","N 1","51C ",0)]



Net

FDS Lookup Table

Case Study


n



Net

FDS Lookup Table

Case Study


n

F aultA na lys is

F ault A na lys is

D iagnoses

D iagnoses

O pened

M N E M O N IC 3

F a iled

M N E M O N IC 3

T rippedF unction

InM N E M 3


InM N E M 3

Tripped

M N E M O N IC 3





S C F eeder


S C M V B us



O ut

M N E M O N IC 3

S C TL o rH V B us

O ut

M N E M O N IC 3

S C TL


S C H V B us

O utM N E M O N IC

C ircuitB reaker

M N E M O N IC 3

O ut O utO ut O ut O ut O ut O utO ut

InIn

D iagnoses

F ault A na lys is

2

1 ("N V R ","12","L 1","A ",0)++1 ("N V R ","12","L 2","A ",0)

2

2 ("N V R ","12","N 1","F ",0)

1

1 []

11 []

2

2 ("N V R ","12","N 1","51C ",0)

2

2 ("N V R ","12","N 1","51C ",0)

C apacito rB ank

C apacito r B ank

F eeder

F eeder

Trans former

Trans former

N o E quipment a t theO ppos ite S ide o f the C ircuit

O ne C ircuit B reaker

H V B us

H V B us

D amagedTrans former


C apacito rB ank


M N E M O N IC 3



F eeder

M N E M O N IC 3

1 ("IN H ","11","B 1","N ",1)++1 ("N V R ","11","B 1","N ",1)++1 ("IN H ","11","D 1","N ",1)++1 ("A R U ","12","D 1","N ",1)++1 ("N V R ","11","D 1","N ",1)


M N E M O N IC

M N E M O N IC

L ineInput

M N E M O N IC

S C F eeder


M N E M O N IC 3

M N E M O N IC 3M N E M O N IC 3

S C H V B us

O utM N E M O N IC

S C TL o rH V B us

O ut

M N E M O N IC 3

S C B ayTrans former


O ut

O utO ut

O ut O ut

O ut

H V B us O ne C ircuit B reaker Trans former

F eeder C apacito r B ank

L ines

L inesL ines

S C TL

O utO ut

1 ("C R E ","12","J 1","Y",3,"S B D ")++1 ("C R E ","12","J 6","Y",3,"S B D ")++1 ("C R E ","12","J 7","Y",3,"S B D ")++1 ("A R U ","12","C 4","Y",2,"C R E ")++1 ("A R U ","12","C 2","Y",2,"C R E ")++1 ("N V R ","12","L 1","Y",3,"A R U ")++1 ("N V R ","12","L 2","Y",3,"A R U ")++1 ("C A T","12","N 1","Y",1,"N V R ")++1 ("IN H ","12","P 2","Y",1,"IB P ")++1 ("N V R ","12","R 1","Y",3,"C R E ")

L ineO utput

1 ("C R E ","12","C 1","N ",1,"IB P ")++1 ("C R E ","12","C 4","Y",2,"A R U ")++1 ("C R E ","12","C 2","Y",2,"A R U ")++1 ("A R U ","12","J 1","Y",1,"A R D ")++1 ("A R U ","12","L 1","Y",3,"N V R ")++1 ("A R U ","12","L 2","Y",3,"N V R ")++1 ("N V R ","12","N 1","Y",1,"C A T")++1 ("C A T","12","C 1","Y",1,"C A T")++1 ("IB P ","12","P 2","Y",1,"IN H ")++1 ("C R E ","12","R 1","Y",3,"N V R ")

C ircuitB reaker

InIn

Trans former

M V B us

M N E M O N IC 3

M V B us

M V B usM V B us

S C M V B us

O utO ut

1 ("A R U ","21","Y1","N ",1)++1 ("A R U ","21","Y2","N ",1)++1 ("A R U ","21","Y4","N ",1)++1 ("A R U ","21","Y5","N ",1)++1 ("A R U ","21","Y6","N ",1)++1 ("A R U ","21","Y7","N ",1)++1 ("A R U ","21","Y8","N ",1)++1 ("C R E ","21","C 2","N ",1)++1 ("A R U ","21","C 4","N ",1)++1 ("IB P ","21","I1","N ",1)++1 ("IB P ","21","I2","N ",1)++1 ("IB P ","21","I3","N ",1)++1 ("IB P ","21","I4","N ",1)++1 ("IN H ","21","I2","N ",1)++1 ("IN H ","21","I3","N ",1)++1 ("IN H ","21","I4","N ",1)++1 ("IN H ","21","I5","N ",1)++1 ("IN H ","21","I6","N ",1)++1 ("N V R ","21","N 1","N ",1)++1 ("N V R ","21","N 2","N ",1)++1 ("N V R ","21","N 3","N ",1)++1 ("N V R ","21","N 5","N ",1)

9


22

1 ("A R U ","21","C 4","N ",1)++1 ("A R U ","21","Y1","N ",1)++1 ("A R U ","21","Y2","N ",1)++1 ("A R U ","21","Y4","N ",1)++1 ("A R U ","21","Y5","N ",1)++1 ("A R U ","21","Y6","N ",1)++1 ("A R U ","21","Y7","N ",1)++1 ("A R U ","21","Y8","N ",1)++1 ("C R E ","21","C 2","N ",1)++1 ("IB P ","21","I1","N ",1)++1 ("IB P ","21","I2","N ",1)++1 ("IB P ","21","I3","N ",1)++1 ("IB P ","21","I4","N ",1)++1 ("IN H ","21","I2","N ",1)++1 ("IN H ","21","I3","N ",1)++1 ("IN H ","21","I4","N ",1)++1 ("IN H ","21","I5","N ",1)++1 ("IN H ","21","I6","N ",1)++1 ("N V R ","21","N 1","N ",1)++1 ("N V R ","21","N 2","N ",1)++1 ("N V R ","21","N 3","N ",1)++1 ("N V R ","21","N 5","N ",1)

10

1 ("A R U ","12","C 2","Y",2,"C R E ")++1 ("A R U ","12","C 4","Y",2,"C R E ")++1 ("C A T","12","N 1","Y",1,"N V R ")++1 ("C R E ","12","J 1","Y",3,"S B D ")++1 ("C R E ","12","J 6","Y",3,"S B D ")++1 ("C R E ","12","J 7","Y",3,"S B D ")++1 ("IN H ","12","P 2","Y",1,"IB P ")++1 ("N V R ","12","L 1","Y",3,"A R U ")++1 ("N V R ","12","L 2","Y",3,"A R U ")++1 ("N V R ","12","R 1","Y",3,"C R E ") 10

1 ("A R U ","12","J 1","Y",1,"A R D ")++1 ("A R U ","12","L 1","Y",3,"N V R ")++1 ("A R U ","12","L 2","Y",3,"N V R ")++1 ("C A T","12","C 1","Y",1,"C A T")++1 ("C R E ","12","C 1","N ",1,"IB P ")++1 ("C R E ","12","C 2","Y",2,"A R U ")++1 ("C R E ","12","C 4","Y",2,"A R U ")++1 ("C R E ","12","R 1","Y",3,"N V R ")++1 ("IB P ","12","P 2","Y",1,"IN H ")++1 ("N V R ","12","N 1","Y",1,"C A T")

2

2 ("N V R ","12","N 1","51C ",0)

9


5

1 ("A R U ","12","D 1","N ",1)++1 ("IN H ","11","B 1","N ",1)++1 ("IN H ","11","D 1","N ",1)++1 ("N V R ","11","B 1","N ",1)++1 ("N V R ","11","D 1","N ",1)



Net

FDS Lookup Table

Case Study


n

1 (x1 ,y1 ,y2 ,z1 ,p )++1`m3

1 (x,y1 ,y2 ,z1 ,p )

1 (x,x2 ,y1 y2 ,z1 ,p )

1 (x1 ,x,y1 y2 ,z1 ,p )

1 (x,y1 ,y2 ,z,k,x2)

1 (x1 ,y1 ,y2 ,z,k,x)1 (x,y1 ,y2 ,z,k,x1)

S ing le L ine

[z<>"N "a nda lso k=1]

P a ra lle l L ine[z<>"N "a nda lso k<>1,(#1 m3)=x,(#2 m3)=y1,(#3 m3)=y2,(#5 m3)=p]

C CL T


L ineO utput

In M N E M O N IC

L ineInput

In

M N E M O N IC

C ircuitB re a ke r

In M N E M O N IC 3InInIn

O ut

10

10

2

2 ("N V R ","12","N 1","51C ",0)

1 (x1,y1,y2,z1,p)++1`m3

1 (x,y1,y2,z1,p)

1 (x,x2,y1 y2 ,z1,p)

1 (x1,x,y1 y2 ,z1,p)

1 (x,y1,y2,z,k,x2)

1 (x1,y1,y2,z,k,x)1 (x,y1,y2,z,k,x1)

S ing le L ine

[z<>"N "anda lso k=1]

P a ra lle l L ine[z<>"N "anda lso k<>1,(#1 m3)=x,(#2 m3)=y1,(#3 m3)=y2,(#5 m3)=p]

C CL T


L ineO utput

In M N E M O N IC

L ineInput

In

M N E M O N IC

C ircuitB reake r

In M N E M O N IC 3InInIn

O ut

2

2 ("N V R ","C A T","12N 1","51C ",0)

10

10



Net

FDS Lookup Table

Case Study


n




M N E M O N IC 3

S C F eeder

M N E M O N IC 3

S C M V B us

M N E M O N IC 3


M N E M O N IC 3


M N E M O N IC 3

S C TL o rH V B us

M N E M O N IC 3

S C TL

M N E M O N IC 3

S C H V B us

M N E M O N IC


1 ("N V R ","12","L 1","50B F ", 0)++1 ("N V R ","12","L 2","50B F ",0)

M N E M 3

TrippedF unction

1 ("N V R ","12","N 1","51C ", 0)++1 ("N V R ","12","N 1","51C ",0)

M N E M 3


2

2 ("N V R ","C A T","12N 1","51C ",0)

1

1 []

1

1 []



Net

FDS Lookup Table

Case Study


n



Net

FDS Lookup Table


nConclusio

n

The power system topology is recorded as the initial marking.

A fast and concise fault diagnosis to the power system operator has been developed.

Reliable diagnosis and fast restoration of the power system is possible.

Thank You!!

Questions?

Documents

A FULL AUTOMATED FAULT DIAGNOSIS SYSTEM BASED ON COLORED PETRI NET Giovanni Cordeiro Barroso Raimundo Furtado Sampaio Robson Alencar Azevedo Ruth Pastôra