COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY

S. Ingram, M. A. Hossain, S. Cox

Abstract

Petri nets have been widely applied in different aspects of railway modelling and analysis. This paper presents an insight into how coloured Petri nets can be used to model geographical interlocking. We start with a generalisation of coloured Petri nets and follow with an overview of interlocking. In the main body we present a generic unit model and demonstrate how it can be used to represent a simple junction, comprising of three fundamental components; namely track, signal and point units.

References

  1. Jensen, K. 1992. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1, Basic Concepts of Monographs in Theoretical Computer Science. Springer-Verlag, 1992.
  2. Cox, S. 2003. Geographical Signalling System Overview. September 2003. Balfour Beatty Rail Technologies LTD.
  3. Hall, S. 1992. BR Signalling Handbook, Ian Allen Publishing.
  4. Hansen, K. M. 1998. Modelling Railway Interlocking Systems. Technical report, Department of Computer Science, University of Denmark. November 26.
  5. Janneck, J. W and Esser. R. (2002) High-order Petri net modelling- techniques and applications. EECS Department, University of California at Berkley and Department of Computer Science, The University of Adelaide, Australia.
  6. Jensen, K. 1994a. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 2, Basic Concepts of Monographs in Theoretical Computer Science. Springer-Verlag.
  7. Jensen, K. 1994b. An Introduction to the theoretical Aspects of Coloured Petri Nets. Inc de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds): A Decade of Concurrency. LNCS 803. Berlin, Heidelberg, New York: Springer-Verlang, pp. 230-272.
  8. Jensen, K. 1997. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 3, Basic Concepts of Monographs in Theoretical Computer Science. Springer-Verlag.
  9. Newing, D. and Castles, M. 1988. SSI Overview Guide. Railtrack PLC and Michael Hamly Associates LTD.
  10. Peterson, J. L. 1981. Petri net theory and modelling of systems, Prentice-Hall, Inc.
  11. Westinghouse. The “WESTPACK” MK.IIIA. System of Geographical Circuitry. 1965.
Download


Paper Citation


in Harvard Style

Ingram S., A. Hossain M. and Cox S. (2005). COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY . In Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 4: ICINCO, ISBN 972-8865-30-9, pages 175-180. DOI: 10.5220/0001176501750180


in Bibtex Style

@conference{icinco05,
author={S. Ingram and M. A. Hossain and S. Cox},
title={COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY},
booktitle={Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 4: ICINCO,},
year={2005},
pages={175-180},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001176501750180},
isbn={972-8865-30-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 4: ICINCO,
TI - COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY
SN - 972-8865-30-9
AU - Ingram S.
AU - A. Hossain M.
AU - Cox S.
PY - 2005
SP - 175
EP - 180
DO - 10.5220/0001176501750180