Model on the logic working procedure of relay schemes based on timed Petri net
Weixiong Liu · Relay · 2005
The Petri net is efficient to model DEDS(discrete event dynamic systems)due to its full-developed theories.This paper proposes a method of timed Petri nets for relay schemes modeling.A relay scheme is one of the discrete event dynamic systems.Using the parallel,impacting,resource-sharing characteristics of Petri net,the logic working procedures with secondary loop dynamics are described.The working principle and performance of RCS-901A/B are comprehensively studied and evaluated with the proposed method to demonstrate its effectiveness.