Open Access   Article Go Back

A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance

R. Barik1 , K. Santara2 , R. Ghosh3 , P. Sarkar4

  1. Department of Information Technology, JIS College of Engineering, Kalyani, India.
  2. Department of Information Technology, JIS College of Engineering, Kalyani, India.
  3. Department of Information Technology, JIS College of Engineering, Kalyani, India.
  4. Department of Information Technology, JIS College of Engineering, Kalyani, India.

Correspondence should be addressed to: barikrupashri@gmail.com.

Section:Review Paper, Product Type: Journal Paper
Volume-5 , Issue-12 , Page no. 290-295, Dec-2017

CrossRef-DOI:   https://doi.org/10.26438/ijcse/v5i12.290295

Online published on Dec 31, 2017

Copyright © R. Barik, K. Santara, R. Ghosh, P. Sarkar . This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

View this paper at   Google Scholar | DPI Digital Library

XML View
PDF Download

How to Cite this Paper

  • IEEE Citation
  • MLA Citation
  • APA Citation
  • BibTex Citation
  • RIS Citation

IEEE Style Citation: R. Barik, K. Santara, R. Ghosh, P. Sarkar, “A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance,” International Journal of Computer Sciences and Engineering, Vol.5, Issue.12, pp.290-295, 2017.

MLA Style Citation: R. Barik, K. Santara, R. Ghosh, P. Sarkar "A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance." International Journal of Computer Sciences and Engineering 5.12 (2017): 290-295.

APA Style Citation: R. Barik, K. Santara, R. Ghosh, P. Sarkar, (2017). A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance. International Journal of Computer Sciences and Engineering, 5(12), 290-295.

BibTex Style Citation:
@article{Barik_2017,
author = {R. Barik, K. Santara, R. Ghosh, P. Sarkar},
title = {A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance},
journal = {International Journal of Computer Sciences and Engineering},
issue_date = {12 2017},
volume = {5},
Issue = {12},
month = {12},
year = {2017},
issn = {2347-2693},
pages = {290-295},
url = {https://www.ijcseonline.org/full_paper_view.php?paper_id=1618},
doi = {https://doi.org/10.26438/ijcse/v5i12.290295}
publisher = {IJCSE, Indore, INDIA},
}

RIS Style Citation:
TY - JOUR
DO = {https://doi.org/10.26438/ijcse/v5i12.290295}
UR - https://www.ijcseonline.org/full_paper_view.php?paper_id=1618
TI - A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance
T2 - International Journal of Computer Sciences and Engineering
AU - R. Barik, K. Santara, R. Ghosh, P. Sarkar
PY - 2017
DA - 2017/12/31
PB - IJCSE, Indore, INDIA
SP - 290-295
IS - 12
VL - 5
SN - 2347-2693
ER -

VIEWS PDF XML
478 269 downloads 277 downloads
  
  
           

Abstract

In today’s fast going life railway plays a major role as a public transport in different countries. And it’s a very difficult job to control the railway traffic signal manually considering all kinds of situation and also it is very difficult to find out whether any deadlock situation has occurred or not. This work is emphasized on use of Petri nets in modeling railway network as well as railway signalling system and designing appropriate control logic for it to avoid collision. Here, the whole railway network is presented as a combination of the elementary models – tracks, stations and points (switch) within the station including sensors and semaphores. We use generalized mutual exclusion constraints and constraints containing the firing vector to ensure safeness of the railway network. In this research work, we have actually introduced constraints at the points within the station. These constraints ensure that when a track is occupied, we control the switch so that another train will not enter into the same track and thus avoid collision.

Key-Words / Index Term

Petri nets, safeness constraints, firing vectors, asynchronous systems

References

[1] International Workshop Petri Nets and Performance Models, Madison, 1987. IEEE Computer Society Press No. 796.
[2] T. Agerwala. Putting Petri nets to work. IEEE Computer, pages 85–94, December 1979.
[3] M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani. On Petri nets with stochastic timing. In Proceedings International Workshop on Timed Petri Nets, pages 80–87, Torino (Italy), 1985. IEEE Computer Society Press no. 674.
[4] M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani. The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Transactions on Software Engineering, SE-15:832–846, 1989.
[5] M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems, 2:93–122, 1984.
[6] M. Ajmone Marsan, A. Bobbio, G. Conte, and A. Cumani. Performance analysis of degradable multiprocessor systems using generalized stochastic Petri nets. IEEE Computer Society Newsletters, 6, SI-1:47–54, 1984.

[7] R.E. Barlow and F. Proschan. Statistical Theory of Reliability and Life Testing. Holt, Rinehart and Winston, New York, 1975.
[8] M.D. Beaudry. Performance-related reliability measures for computing systems. IEEE Transactions on Computers, C-27:540–547, 1978.
[9] A. Bobbio. Petri nets generating Markov reward models for performance/reliability analysis of degradable systems. In R. Puigjaner and D. Poitier, editors, Modeling Techniques and Tools for Computer Performance Evaluation, pages 353–365. Plenum Press, 1989.
[10] T. Saha, K. Das, ‘Integration and Interrelation of Big data With Cloud Computing: A Review’, International
Journal of Computer Sciences and Engineering, Volume 5, Issue: 11, pp. 181-185, November, 2017.