Modeling and analyzing component-based Distributed Railway Interlocking System with Petri Nets

被引：0

作者：

Hei, Xinhong ^{[1
,2
]}

Takahashi, Sei ^{[1
]}

Nakamura, Hideo ^{[3
]}

机构：

[1] School of Computer Science and Technology, Xi'an University of Technology, Xi'an, 710048, China

[2] State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, China, Beijing, 100044, China

[3] Computer Science Graduate Course, Graduate School of Science and Technology, Nihon University, Narashino 7-24-1, Funabashi 274-8501, Japan

来源：

IEEJ Transactions on Industry Applications | 2009年 / 129卷 / 05期

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Petri nets

引用

页码：455 / 461