Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2012, Article ID 717195, 12 pages
Research Article

Fuzzy Timing Petri Net for Fault Diagnosis in Power System

1Faculty of Electrical Engineering, Islamic Azad University, Najafabad Branch, No 252 Khaghani Street, 8175848591 Isfahan, Iran
2Faculty of Electrical Engineering, Universiti Teknologi Malaysia, 81300 Johor Bahru, Johor, Malaysia

Received 8 March 2012; Accepted 27 June 2012

Academic Editor: Zheng-Guang Wu

Copyright © 2012 Alireza Tavakholi Ghainani et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


A model-based system for fault diagnosis in power system is presented in this paper. It is based on fuzzy timing Petri net (FTPN). The ordinary Petri net (PN) tool is used to model the protective components, relays, and circuit breakers. In addition, fuzzy timing is associated with places (token)/transition to handle the uncertain information of relays and circuits breakers. The received delay time information of relays and breakers is mapped to fuzzy timestamps, π(τ), as initial marking of the backward FTPN. The diagnosis process starts by marking the backward sub-FTPNs. The final marking is found by going through the firing sequence, σ, of each sub-FTPN and updating fuzzy timestamp in each state of σ. The final marking indicates the estimated fault section. This information is then in turn used in forward FTPN to evaluate the fault hypothesis. The FTPN will increase the speed of the inference engine because of the ability of Petri net to describe parallel processing, and the use of time-tag data will cause the inference procedure to be more accurate.

1. Introduction

A rapid and correct fault diagnosis is crucial for power system restoration. However, as the complexity of power system increases, fault diagnosis, especially in complicated faults or incorrect operation of protective devices, becomes a very difficult task in the limited short time. This situation has made it necessary to develop intelligent systems to support operators in their decision making process. Over the last two decades different artificial intelligent (AI) approaches have been proposed for fault diagnosis in power system. Most attempts to date have relied on the use of expert system [1] or neural network [2] technology. Expert-system-based approaches have been the most successful so far, while neural-network-based methods continue to improve their performance. Previous reported expert systems for fault diagnosis use either rule-based or model-based approach [3]. The first approach may work well only in simple fault cases. However, to diagnose a fault in complicated cases, it needs a huge number of rules to describe the complicated protection system behavior. As a result, the acquisition and maintenance of such a system is tedious and difficult [3].

On the other hand, model-based diagnostic (MBD) methods are suitable to network fault diagnosis because the power systems and protective relays can be modeled as discrete event systems. MBD covers a wide range of fault scenarios than heuristic reasoning because it is based on the system behavioral analysis. It can detect malfunctioning equipment in the early stages [4]. Nevertheless, the model-based system requires more inference time. As a result, there is a need to enhance speed and performance of diagnoses system. Parallel inference processing and time sequence information of protective relays and circuit breakers is important factor for reducing fault diagnosis processing time [3]. This is so because parallel processing increases the inference procedure and real-time availability of the relay information allows expert systems to reduce the number of hypotheses [4].

One of the powerful tools for modeling parallel processing is Petri net [5]. There have been some proposed model-based systems using Petri net and colored and timed Petri net for faster inference [6, 7]. In [6] final marking of forward and backward Petri nets model is compared to make a decision for faulted section area. However, timestamp of protective devices has not been considered on that model and the model which is proposed in [7] cannot handle the uncertain and missing data. There have also been works on expert systems that use time-tag information of actuated relays and tripped circuit breakers through sequence event recorder (SER) in fault diagnosis [8].

This paper proposes fuzzy timing Petri net to handle uncertain information of protective device and to overcome the drawbacks of previous works. Petri nets have also been successfully applied in power system for verification of concurrent switching sequences [9] and modeling of transmission line protection relaying scheme [10].

The paper is organized as follows. In the next section Petri net will be introduced. A brief and concise description of the fuzzy timing petri net (FTPN) will be given in Section 3. Diagnosis process is described in Section 4. In Section 5, the proposed FTPN is used for diagnosing fault in a simple and typical line. The application will be presented in Section 7. The final section is conclusion.

2. Petri Nets

Petri nets (PNs), as a graphical and mathematical tool, provide a uniform environment for modeling and design of discrete event systems. It is a particular kind of bipartite directed graphs populated by three objects. These objects are places, transitions, and directed arcs connecting places to transitions and transitions to places. Pictorially, places are depicted by circles and transitions by bars [5].

The ordinary Petri nets do not include any concept of time explicitly. With this class of nets, it is only possible to describe the logical structure of the modeled system, but not its time evolution. Responding to the need for the temporal performance of discrete-event systems and modeling concurrent systems with time constraints, various timed extensions of Petri nets have been proposed by attaching timing constraints to transitions, places, and/or arcs [5].

Later, other researchers introduced fuzzy Petri net for knowledge representation to deal with fuzzy production rules [11] and fuzzy timing Petri net (FTPN) for performance, evaluation, and specification of dynamic concurrent system [12, 13] under uncertainty and imprecision.

3. Fuzzy Timing Petri Net and Extended Fuzzy Timing Petri Net

Fuzzy-timing Petri net (FTPN) has been proposed by Zhou and Murata [12] and is defined as follows.

The static structure of FTPN is a five-tuple structure, where is a finite set of places, is a finite set of transitions, is a set of arcs (flow relation), D is a set of all fuzzy delays associated with arcs is a set of all fuzzy timestamp, where a fuzzy timestamps, is associated with each token and each place. It is a fuzzy time function or possibility distribution giving the numerical estimate of the possibility that a particular token arrives at time in a particular place.

The extended fuzzy-timing Petri net (EFTPN) model is a FTPN with the default value of being and with additional function , which is a mapping from transition to firing intervals with possibility , that is, each transition is associated with a firing interval, , , where the default interval is (a transition definitely fires as soon as it is enabled) (possibility ). is 1 if transition t is not in conflict with any other transition. When different chances are to be assigned to transitions in structural conflict, can be less than is set of positive rational numbers.

The dynamic evolution of marking in an FTPN is the same as that of an ordinary PN except that fuzzy timestamps , fuzzy enabling times , and fuzzy occurrence time need to be computed and updated each time when a transition firing (atomic action) occurs. Fuzzy enabling time of transition t is the possibility distribution of latest arrival time among the arrival times of all tokens in input places of t that are necessary to enable the transition t in the untimed case and is given by

Fuzzy occurrence time of transition t is the possibility distribution of the time at which the transition t starts firing and is given by

The fuzzy timestamp , the possibility distribution of the time at which a token arrives in an output place of , is given by the extended addition of and or

Here is updated fuzzy timestamps in an FTPN. When there are transitions in conflict enabled with their fuzzy enabling times, , and , then fuzzy occurrence time of transition t is computed as follows:

4. Diagnosis Process

In the following discussion it is assumed that the protective devices have arrived in their final status. The general philosophy of diagnosis task is based on model-based reasoning: the comparison between the observed and predicted behaviors of the system [1416]. Diagnosis is performed in two-step reasoning process. The first step is based on forward reasoning (data driven). Having the final status of protective devices, the initial marking of the backward FTPN is performed by assigning fuzzy time function to relevant places. That is to say, timestamps information of relays and breakers is used as the initial fuzzy timestamps . In other words, is the numerical estimate of possibility that a particular protective device has been operated. Processing the FTPN as a forward reasoning to get final marking would get the fault hypotheses. Indeed in the first step of diagnosis, both the candidates of faulted section and estimated time that fault has been cleared by protective devices are derived.

Fault simulation process takes place in the second step of diagnosis task and is based on backward reasoning (goal driven). The predicate behavior of protective devices, in the case of occurring fault, is modeled by the forward FTPN. The fuzzy timestamp of token arriving at the final place of backward FTPN is compared with fuzzy timestamp of token in the final state of forward FTPN.

A default threshold value, , is used to validate the discrepancy of two fuzzy timestamps. If discrepancy of two fuzzy timestamps is larger than threshold value, then the fault candidate is assumed to be correct. Otherwise the simulation process is repeated again by executing the forward FTPN by assuming the malfunction of appropriate relay. For instance, by exchanging the possibility of transition and in Figure 2 the malfunction of relay is simulated.

5. Example

For illustration purposes, consider a simple and typical transmission line depicted in Figure 1. Suppose a fault has occurred on point . Furthermore, assume that signals have been received and recorded with precise time tags or in a chronological order and available through SER.

Figure 1: A simple and typical transmission line.
Figure 2: Forward FTPN model for fault at point in Figure 1. : :     ,      , ,     ,     , ,     , ,, , , and are the firing sequences, in the case of correct actuated and nonactuated of relay , respectively, to are marking states of the FPTN.

The forward and backward FTPN models with main protection and primary backup protection for this point are shown in Figure 2 and Figure 4, respectively.

In Figure 2, the token in place shows absence of the fault, , and , , and represent readiness of the relays , , and , respectively, Places , , and correspond to circuit breakers CB2, CB1, and CB4, respectively, The occurrence of is represented by the transition , which deposits a token in places , , and to indicate that the fault is present.

In this case, transitions , , and are enabled and can fire within their interval time. This corresponds to sensing the fault by relay , , and . However, transitions and will be fired after transition because their firing interval is later than . The static default of firing interval of transition is . Firing transitions , , and correspond to sending trip signals and transitions , , and correspond to opening the circuit breakers CB2, CB1, and CB4, respectively.

A fuzzy delay is associated with arcs from transitions , , and to places , , and , respectively, to map the operating time of . The of other arcs are set to , which means that transitions connected to these arcs fire and the token will be available to their corresponding output place immediately. The sink transitions is fired in the case of malfunction of relay . Since backup relays send trip signal after main relays, the firing transitions of the FTPN corresponding to these relays should be in correct sequence.

To do this, a static time interval is assigned to the transitions and to ensure that these transitions will be fired after transitions and . Moreover, in the case of malfunction of CB2, places and will not get tokens. Therefore, transitions and can fire within their firing intervals. The firing sequences and its marking of the forward FTPN are shown in the bottom of Figure 2.

The backward FTPN consists of three sub-FTPN modules (see Figure 4). Each of the sub-FTPNs corresponds to one CB and its corresponding relay protection module. There are three kinds of places in this FTPN: those which get marking in the case of receiving signals (shown with a circle), the second type that get token in the case of nonreceiving signals from CBs and relays (shown with two circles), and the third one which are used as auxiliary places (shown also with a circle).

In Figure 2, places , , , , , and correspond to CB1, , CB2, , CB4, and , respectively. In the case of non-receiving signal from relay or , the places indicated by two circles get tokens.

As previously mentioned, suppose a fault has occurred at point and information received from relays and breakers with their time delay is and . Diagnosing process starts by marking appropriate places of the backward sub-FTPN (Figure 4) and assigning each token with fuzzy time function. The goal is to find the fuzzy time function of final state of the backward FTPN in its firing sequences.

To do this, first fuzzy enabling time of transition is calculated by (3.1). Then the fuzzy occurrence time of is found by (3.2). The next step is to compute fuzzy timestamp of place . It is calculated by (3.3). The same procedure is done for the next transitions/places in the firing sequences (shown at the bottom of Figure 4(a)) to reach the place .

At this stage of diagnosis, the fuzzy timestamps at the place are compared with the simulation, result of Figure 2. If discrepancy of two fuzzy timestamps is larger than threshold value and receiving data is compatible with simulation, then the fault candidate is assumed to be correct. Otherwise the simulation process is repeated. In the second round of execution of forward FTPN, transition is first fired to simulate the malfunction of relay and the result is compared to backward FTPN. The marking of the backward sub-FTPN2 can be shown by vector , the last place is the fault section estimation and designated by in place . Therefore, with receiving information from and CB2, the initial marking is , number 1 indicates that places and both get token and zero means otherwise. With this marking only transition is enabled and can fire. Transition is not enabled because the place with inhibitory arc connected to it is marked. Firing transition removes token from places and and deposites one token in the places and . After firing this transition the new marking is . Having token in places and the transition is now enabled and can fire. Firing makes the new marking state as . The final marking of this sub-FTPN will be . The broken line in Figure 6 shows the traverse of token in sub-FTPN2. Having delay time of and CB2, the initial fuzzy timestamps would be as in Figure 3.

Figure 3: Two typical fuzzy time functions (a) for delay time of relay and (b) for delay time of breaker CB2.
Figure 4: The backward FTPN model of Figure 1 for fault at point (shown by place ). and correspond to the main protection, and CB1, , CB4, and correspond to the backup protection. (a) Information received from and CB2. is the firing sequence of sub-FTPN2. , , , , , . (b) Information received from CB2, CB1, , CB4, and . , , and are firing sequence of sub-FTPN1, sub-FTPN2, and sub-FTPN3, respectively, , , , , , , , , , , , , , , , .

With these fuzzy timestamps at the places and , first fuzzy enabling time of transition should be found.

, . Then, fuzzy occurrence time of is computed (see (3.2)): , . Next fuzzy timestamp of place is calculated (3.3) as . Here it is assumed that the fuzzy delay time is .

This process is performed for firing sequence until the final state of sub-FTPN2 (i.e., place ()). In this case, the fuzzy time function of place will be .

Having fuzzy timestamps of fault hypothesis in the backward FTPN, the fuzzy timestamps of final marking in the forward FTPN (see Figure 2) are to be computed. The following are assumed: , means that token in place is immediately available. and .

Having token in place , the fuzzy enabling time of transition is

To compute fuzzy occurrence time of transition , the earliest enabling time of and is found first as follows. earliest, .Therefore, the fuzzy occurrence of is computed as follows: = 0.9(0.01, 0.01, 0.03, 0.03), earliest(τ) 0.9(0.01, 0.01, 0.03, 0.03), (τ) 0.1(0.25, 0.25, 0.4, 0.4 = min{(0.1, 0.2, 0.2, 0.3) 0.9(0.01, 0.01, 0.03, 0.03), earliest(τ) 0.9(0.01, 0.01, 0.03, 0.03), (τ) 0.1(0.25, 0.25, 0.4, 0.4 = min{0.9(0.11, 0.21, 0.21, 0.31), 0.9(0.11, 0.21, 0.21, 0.31)} = 0.9(0.11, 0.21, 0.21, 0.31).Now fuzzy timestamp of place is found as follows: , where is fuzzy delay time from transition to place . . Then the fuzzy occurrence transition would be as follows:

6. Comparison of Two Fuzzy Timestamps

At this stage of diagnosis the comparison of two fuzzy timestamps and derived from forward and backward FTPN is to be evaluated. Refer to [13]. The possibility of may be found as follows (see Figure 5): If the threshold value, , is assumed to be , therefore it is concluded that a fault has occurred at point and relay and breaker CB2 have operated correctly.

Figure 5: Comparison of two possibility distributions and .
Figure 6: A simplified protection scheme of Kapar substation.

7. Application

Figure 6 depicts one of the existing Malaysian substations, the so-called Kapar substation. It consists of two breaker and half systems (500 kV and 275 kV), which are connected by autotransformer. Since the complete protection scheme of the substation is complex, only simplified protection version will be used for one of the buses, say 275 kV north bus.

At the 275 kV north bus—at the side—the following protective devices are used:87BN HI: high impedance busbar relay (trips 86N HI),87BN LI: low impedance busbar relay (trips 86N LI),50BF: breaker failure (trips 86BF),86BF: breaker failure lockout relay,86BN HI: high impedance busbar lockout relay,86BN LI: low impedance busbar lockout relay.The same protection scheme is at the 500 kV south bus. In addition, the autotransformer is protected by relay 87TB, which is a biased transformer differential relay.

Suppose a fault occurs at 275 kV north bus of the Kapar substation. If the main relay (the busbar differential protection-87BN-HI) senses the fault and operates correctly, it then sends trip to CB8 and CB7 to isolate the busbar from fault. This scenario is modeled by the forward and backward FTPN and shown in Figures 7 and 8, respectively. If the main relay fails to operate, the local backup relay (87BN-LI) sends trip signal to the breakers CB8 and CB7. In the case of malfunction of circuit breaker CB8 the breaker failure relay will send trip signal to the circuit breakers CB7, CB4, CB6, and CB10. The broken lines in the forward FTPN models (Figure 7) show the route of FTPN in their firing sequences corresponding to their protection scheme.

Figure 7: The forward FTPN model of protection scheme for fault at 275 kV north bus bar of Kapar substation. The marking state of FTPN before occurrence of fault. The token in shows absence of fault, and firing transition indicates the occurrence of fault. Tokens in places , , and indicate the readiness of main, local backup, and breaker failure relays, respectively. The broken lines show the FTPN route in its firing sequences (in the case of correct operation of main relay and circuit break).
Figure 8: The backward FTPN model of Figure 6 for fault at 275 kV north busbar of Kapar substation. The marking state of FTPN indicates the postfault condition. Places , , , and correspond to main, local backup, remote backup, and breaker-failure relay, respectively. Token in place indicates that the main relay (87BN HI) has been operated and its signal has been received. Receiving signal from circuit breaker CB8 is shown by a token in places and . Receiving signal from circuit breaker and CB7 is shown by a token in places , , and . The broken lines are the routes of the FTPN in its firing sequences.In the case of tripping circuit breakers, places designated by trip get token, and in the case of nonoperation of any , places the indicated by Ntrip would get token. OP means that the main relay has operated and NOP means otherwise. Transitions , , and are sink transitions and would fire if the main relay and breakers CB8 and CB7 have operated, respectively.

In the backward FTPN models the token in place F shows the estimated fault section, which in this case is 275 kV busbar. This estimated fault section hypothesis in turn is compared with its relevant forward FTPN models. The procedure is similar as the one explained in Section 6.

8. Conclusions

A new model-based reasoning for power system fault diagnosis is proposed in this paper. It is based on fuzzy timing Petri net. It is believed that this proposed system could cover drawbacks of the previously reported model-based systems. This is because this proposed system gets the advantages of some powerful tools and concepts for designing real-time systems such as Petri net for modeling parallel processing and power of fuzzy set theory to handle uncertainty and imprecision. This system is able to handle parallel processing, therefore reducing the inference processing time. On the other hand, it uses the timestamps of circuit breakers () and relays, which causes the fault hypotheses to be reduced accordingly. Moreover, the uncertain information from and relays is handled by this system, therefore causing the diagnosis of the faulted section area to be more precise.


The first author would like to thank UTM for providing finacial support for this research.


  1. T. Minakawa, Y. Ichikawa, M. Kunugi, K. Shimada, N. Wada, and M. Utsunomiya, “Development and implementation of a power system fault diagnosis expert system,” IEEE Transactions on Power Systems, vol. 10, no. 2, pp. 932–939, 1995. View at Publisher · View at Google Scholar · View at Scopus
  2. S. Ebron, D. L. Lubkeman, and M. White, “Neural network approach to the detection of incipient faults on power distribution feeders,” IEEE Transactions on Power Delivery, vol. 5, no. 2, pp. 905–914, 1990. View at Publisher · View at Google Scholar · View at Scopus
  3. Y. Sekine, Y. Akimoto, M. Kunugi, C. Fukui, and S. Fukui, “Fault diagnosis of power systems,” Proceedings of the IEEE, vol. 80, no. 5, pp. 673–683, 1992. View at Publisher · View at Google Scholar · View at Scopus
  4. X. Wang and T. Dillon, “A second generation expert system for fault diagnosis,” International Journal of Electrical Power and Energy Systems, vol. 14, no. 2-3, pp. 212–216, 1992. View at Google Scholar · View at Scopus
  5. T. Murata, “Petri nets: properties, analysis and applications,” Proceedings of the IEEE, vol. 77, no. 4, pp. 541–580, 1989. View at Publisher · View at Google Scholar · View at Scopus
  6. K. L. Lo, H. S. NG, and J. Trecat, “Power System fault diagnosis using Petri nets,” IEE Proceedings Generation, Transmission & Distribution, vol. 144, no. 3, pp. 231–236, 1997. View at Publisher · View at Google Scholar
  7. C. L. Yang, A. Yokoyama, and Y. Sekine, “Fault Section estimation of power system using Colored and timed Petri nets,” in Proceedings of the Expert Systems Application to Power System, pp. 321–326, 1993.
  8. A. Hertz and P. Fauquembergue, “Fault diagnosis at substations based on sequential event recorders,” Proceedings of the IEEE, vol. 80, no. 5, pp. 684–688, 1992. View at Publisher · View at Google Scholar · View at Scopus
  9. J. L. P, de Sa and J. P. S. Paiva, “Design and verification of concurrent switching sequences with Petri nets,” IEEE Transactions on Power Delivery, vol. 5, no. 4, pp. 1766–1772, 1990. View at Publisher · View at Google Scholar · View at Scopus
  10. F. Wang and J. Tang, “Modeling of a transmission line protection relaying scheme using Petri nets,” IEEE Transactions on Power Delivery, vol. 12, no. 3, pp. 1055–1060, 1997. View at Google Scholar · View at Scopus
  11. S. M. Chen, J. S. Ke, and J. F. Chang, “Knowledge representation using fuzzy Petri nets,” IEEE Transactions on Knowledge and Data Engineering, vol. 2, no. 3, pp. 311–319, 1990. View at Publisher · View at Google Scholar · View at Scopus
  12. Y. Zhou and T. Murata, “Pert net model with Fuzzy timing and Fuzzy-metric temporal logic,” International Journal of Intelligent Systems, vol. 14, pp. 719–745, 1999. View at Google Scholar
  13. S. Ribarić, B. D. Bašić, and L. Maleš, “An approach to validation of fuzzy qualitative temporal relations,” in Proceedings of the 24th International Conference on Information Technology Interfaces (ITI' 02), pp. 223–228, Cavtat, Croatia, 2002.
  14. A. A. M. Zin, A. M. Yousf, A. Tavakoli, and K. L. Lo, “Power System Fault diagnosis Using Artificial Intelligent,” in Student Conference on Research and Development (SCOReD '01), Kuala Lumpur, Malaysia, February 2001.
  15. A. A. M. Zin, A. M. Yousf, A. Tavakoli, and K. L. Lo, “Power system fault diagnosis using integrated time petri net and expert system,” in International Power Engineering Conference (IPEC '01), Singapore, May 2001.
  16. A. T. Ghainani, Intelligent system for power system fault diagnosis using Fuzzy-timing Petri net-based expert system [M.S. thesis], Department of Electrical Engineering, University Teknologi Malaysia, Malaysia, 2001.