Level Crossing Modelling Using Petri Nets Approach and Π-Tool
暂无分享,去创建一个
[1] Alessandro Giua,et al. Monitor design for colored Petri nets: An application to deadlock prevention in railway networks , 2006 .
[2] Tao Tang,et al. The modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets , 2007, Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07).
[3] Günter Hommel,et al. A train control system case study in model-based real time system design , 2003, Proceedings International Parallel and Distributed Processing Symposium.
[4] E. Schnieder. TECHNICAL ISSUES IN MODELLING THE EUROPEAN TRAIN CONTROL SYSTEM (ETCS) USING COLOURED PETRI NETS AND THE DESIGN/CPN TOOLS , 1998 .
[5] W. Janczura,et al. Modelling and Analysis of Railway Network Control Logic using Coloured Petri Nets , 1998 .
[6] T Spicer. Implementing the Australian Level Crossing Assessment Model (ALCAM) in Victoria , 2007 .