Description and Verification of Comprehensive Train Safety Monitoring System by Temporal Petri Nets

• 行车安全综合监控系统的时序Petri网描述及验证