%0 Journal Article
	%A Prasun Hajra and  Ranjan Dasgupta
	%D 2012
	%J International Journal of Computer and Information Engineering
	%B World Academy of Science, Engineering and Technology
	%I Open Science Index 71, 2012
	%T Modelling of a Multi-Track Railway Level Crossing System Using Timed Petri Net
	%U https://publications.waset.org/pdf/11608
	%V 71
	%X Petri Net being one of the most useful graphical tools for modelling complex asynchronous systems, we have used Petri Net to model multi-track railway level crossing system. The roadway has been augmented with four half-size barriers. For better control, a three stage control mechanism has been introduced to ensure that no road-vehicle is trapped on the level crossing. Timed Petri Net is used to include the temporal nature of the signalling system. Safeness analysis has also been included in the discussion section.

	%P 1426 - 1432