摘要
详细介绍了基于Petri网的自动售货机以及列车运行信号控制系统的建模及其工作原理。结果表明,Petri网能够清楚而简单地描述事件间的因果关系、时序关系以及并发系统中某些与时间有关的重要性质,如最终性和公平性。因此,Petri网可作为并发系统形式描述和分析的有力工具。
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.
出处
《电气传动自动化》
2006年第3期40-42,共3页
Electric Drive Automation
