Online Open Circuit Fault Diagnosis for Rail Transit Traction Converter Based on Object-Oriented Colored Petri Net Topology Reasoning

Table 1

The definitions of the transitions and places in the OOCPN reasoning machine.

The name of the transition or place	The function of the transition or place
	The place contains tokens which contain actual detected current signatures; we call such tokens the sampled tokens.
(, )	The place contains tokens which contain information of the branch bridging between the input port of Bci and the output port of . In , we apply conflict arbitration mechanism. According to the mechanism, a latter token can overwrite a former one with the same Cy; during the overwriting process, the Ca of the two tokens are merged into the latter one. At the beginning of the reasoning, Cn color of the token in is , and Ca of it is .
	The place contains tokens whose Cn color has been processed.
	The place contains a token that is waiting to be analyzed and contains a piece of actual detected current signature.
	puts together the Cn colors of the input token from and any token from , if the Cn color of the token from is included in the Cp color of the token from .
	The place stores all the intermediate results. Here in , we also apply the same conflict arbitration mechanism.
	The place stores the output token of the reasoning process.
	The guardian function of transition is true when is not empty. takes one random sampled token and then puts it into . also deletes from all the tokens that share the same Cy and Ca as the tokens in .
	The guardian function of is always TRUE. moves the token from into .
(, )	The guardian function of is always TRUE. takes the token from , puts it into , and returns the token result to according to the Cy of the token. calls the Fun attribute of its input tokens from the places.
	The guardian function of is always TRUE. outputs the tokens that has processed into .
	The guardian function of is always TRUE. outputs the token, which get from , back to .
	The gets token results by comparing the Ca and Cc colors of the tokens from ; analyzes the Cn of every token in to differentiate the possible performance stage and calls Fun if necessary to revise Ca. The guardian function of is true when a token from has the different Ca and Cc colors.