Modeling and Analyzing Component-Based Distributed Railway Interlocking System with Petri Nets

HEI Xinhong; HEI Xinhong; TAKAHASHI Sei; NAKAMURA Hideo

Art

J-GLOBAL ID：200902235967730261 Reference number：09A0477234

Modeling and Analyzing Component-Based Distributed Railway Interlocking System with Petri Nets

Petriネットによる構成要素に基づく分散鉄道インターロッキングシステムのモデル化と解析

Publisher site {{ this.onShowPLink() }} Copy service {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=09A0477234&COPY=1") }}
Access JDreamⅢ for advanced search and analysis. {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=09A0477234&from=J-GLOBAL&jstjournalNo=X0451A") }}

Author (4)： , , ,
Material：
Volume： 129 Issue： 5 Page： 455-461 (J-STAGE) Publication year： 2009
JST Material Number： X0451A ISSN： 0913-6339 Document type： Article
Article type：原著論文 Country of issue： Japan (JPN) Language： ENGLISH (EN)

, , , , , , , , ,

Signal,safety , Basics of graph theory

Reference (11)：

BANCI, M. The Role of Formal Methods in Developing a Distributed Railway Interlocking System. Proceedings of the FORMS/FORMAT 2004, 5th Symposium Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig. 2004
HEI, X. Distributed Interlocking System and Its Safety Verification. the 6th World Congress on Intelligent Control and Automation, Dalian, China, 2006. 2006, 10, 8612-8615
HEI, X. Improving Reliability of Railway Interlocking System with Component-based Technology. Journal of Reliability Engineering Association of Japan. 2006, 28, 8, 557-568
MURATA, T. Petri Nets : Properties, Analysis and Applications. Proceedings of IEEE. 1989, 77, 4, 541-580
DENG, Y. A framework for the modeling and prototyping of distributed information system. International Journal of Software Engineering and Knowledge Engineering. 1991, 2, 3, 203-226

ｍore...

, , , ,

Return to Previous Page