A method of optimizing the fault management system in power plants based on DD-RCM （resultchain based modeling for digital developing） and TPN （temporal Petri net） is proposed. First, the model of the fault manage...A method of optimizing the fault management system in power plants based on DD-RCM （resultchain based modeling for digital developing） and TPN （temporal Petri net） is proposed. First, the model of the fault management system was set using DD-RCM. Then, it was transformed to the temporal Petri net model by corresponding rules. Secondly, relationships among all the activities, such as choice, conflict, synchronization and concurrency, were confirmed according to the Petri net model and described employing the reengineering algorithm of incidence matrix. Thirdly, the Petri net model was reduced by combining reduction rules and conflict, synchronization relationships to optimize the fault management system in power plants. Finally, the functionality of the reduced net was proved by the temporal logic of the temporal Petri net.展开更多
文摘A method of optimizing the fault management system in power plants based on DD-RCM （resultchain based modeling for digital developing） and TPN （temporal Petri net） is proposed. First, the model of the fault management system was set using DD-RCM. Then, it was transformed to the temporal Petri net model by corresponding rules. Secondly, relationships among all the activities, such as choice, conflict, synchronization and concurrency, were confirmed according to the Petri net model and described employing the reengineering algorithm of incidence matrix. Thirdly, the Petri net model was reduced by combining reduction rules and conflict, synchronization relationships to optimize the fault management system in power plants. Finally, the functionality of the reduced net was proved by the temporal logic of the temporal Petri net.
