Application of Petri net in the signal control system
Xuebao Li · Electric Drive Automation · 2006
The modeling and its principle of the signal control system of automat and train operation are introduced.It proves that Petri net strong describing and analyzing tool of discrete-event dynamic concurrent systems,such as eventuality and fairness.Finally,the further study subjects are found.