A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance
DOI:
https://doi.org/10.26438/ijcse/v5i12.290295Keywords:
Petri nets, safeness constraints, firing vectors, asynchronous systemsAbstract
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.
References
International Workshop Petri Nets and Performance Models, Madison, 1987. IEEE Computer Society Press No. 796.
T. Agerwala. Putting Petri nets to work. IEEE Computer, pages 85–94, December 1979.
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.
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.
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.
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.
R.E. Barlow and F. Proschan. Statistical Theory of Reliability and Life Testing. Holt, Rinehart and Winston, New York, 1975.
M.D. Beaudry. Performance-related reliability measures for computing systems. IEEE Transactions on Computers, C-27:540–547, 1978.
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.
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.
Downloads
Published
How to Cite
Issue
Section
License
This work is licensed under a Creative Commons Attribution 4.0 International License.
Authors contributing to this journal agree to publish their articles under the Creative Commons Attribution 4.0 International License, allowing third parties to share their work (copy, distribute, transmit) and to adapt it, under the condition that the authors are given credit and that in the event of reuse or distribution, the terms of this license are made clear.
