WASET
    Prasun Hajra and  Ranjan Dasgupta,  Modelling of a Multi-Track Railway Level Crossing System Using Timed Petri Net.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    November 2012, vol. 71(11). 1426 - 1432
    [viewed 11 May 2024]. Available from: https://publications.waset.org/pdf/11608.