Computational Technology Resources - CCP

D. Wu, W. Zheng, "Safety Analysis of a Railway Level Crossing using Coloured Petri Nets", in J. Pombo, (Editor), "Proceedings of the Third International Conference on Railway Technology: Research, Development and Maintenance", Civil-Comp Press, Stirlingshire, UK, Paper 72, 2016. doi:10.4203/ccp.110.72

Keywords: safety analysis, level crossing system, coloured Petri nets.

Summary

This paper proposes an approach for safety analysis of a railway level crossing system, incorporating system topology, component function table, component state transition table and digraph in one formal model. The approach takes advantage of coloured Petri nets to model the level crossing system, and considers the system as the composition of a controller and a controlled technical process. The controller is modelled with a component-based method, while the technical process is described by a process/state-based means. Safety analysis is accomplished by investigating the reachability properties of the system model. To alleviate the state space problem of Petri nets, we employ the Petri net unfoldings to substitute reachability graphs.

purchase the full-text of this paper (price £22)

go to the previous paper
go to the next paper
return to the table of contents
return to the book description
purchase this book (price £85 +P&P)

	Computational & Technology Resources an online resource for computational, engineering & technology publications
	not logged in - login
Front Page Browse CCP CSETS CTR IJRT Other Authors Search Purchase Guide FAQ Contact us	Civil-Comp Proceedings ISSN 1759-3433 CCP: 110 PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON RAILWAY TECHNOLOGY: RESEARCH, DEVELOPMENT AND MAINTENANCE Edited by: J. Pombo Paper 72 Safety Analysis of a Railway Level Crossing using Coloured Petri Nets D. Wu and W. Zheng National Research Center of Railway Safety Assessment, Beijing Jiaotong University, China doi:10.4203/ccp.110.72 purchase the full-text of this paper Full Bibliographic Reference for this paper D. Wu, W. Zheng, "Safety Analysis of a Railway Level Crossing using Coloured Petri Nets", in J. Pombo, (Editor), "Proceedings of the Third International Conference on Railway Technology: Research, Development and Maintenance", Civil-Comp Press, Stirlingshire, UK, Paper 72, 2016. doi:10.4203/ccp.110.72 Keywords: safety analysis, level crossing system, coloured Petri nets. Summary This paper proposes an approach for safety analysis of a railway level crossing system, incorporating system topology, component function table, component state transition table and digraph in one formal model. The approach takes advantage of coloured Petri nets to model the level crossing system, and considers the system as the composition of a controller and a controlled technical process. The controller is modelled with a component-based method, while the technical process is described by a process/state-based means. Safety analysis is accomplished by investigating the reachability properties of the system model. To alleviate the state space problem of Petri nets, we employ the Petri net unfoldings to substitute reachability graphs. purchase the full-text of this paper (price £22) go to the previous paper go to the next paper return to the table of contents return to the book description purchase this book (price £85 +P&P)
Back to top	©Civil-Comp Limited 2023 - terms & conditions