Abstract
In this paperinterval timed coloured Petri nets ((van der Aalst, 1993)) are used to model and analyse railway stations. We will show that this approach can be used to evaluate both station operating schedules and the infrastructure of a station.
An interval timed coloured Petri net (ITCPN) is a coloured Petri net extended with time; time is in tokens and transitions determine a delay for each produced token. This delay is specified by an upper and lower bound, i.e. an interval. The ITCPN model allows for the modelling of the dynamic behaviour of large and complex systems, without loosing the possibility of formal analysis. In addition to the existing analysis techniques for coloured Petri nets, we use a new analysis method to analyse the temporal behaviour of the net. This method constructs a reduced reachability graph and exploits the fact that delays are described by an interval. We will also discuss other (Petri net based) methods that can be used to analyse railway stations.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
W.M.P. van der Aalst. Modelling and Analysis of Complex Logistic Systems. In H.J. Pels and J.C. Wortmann, editors,Integration in Production Management Systems, volume B-7 ofIFIP Transactions, pages 277–292. Elsevier Science Publishers, Amsterdam, 1992a.
W.M.P. van der Aalst.Timed coloured Petri nets and their application to logistics. PhD thesis, Eindhoven University of Technology, Eindhoven, 1992b.
W.M.P. van der Aalst. Interval Timed Coloured Petri Nets and their Analysis. In M. Ajmone Marsan, editor,Application and Theory of Petri Nets 1993, volume 691 ofLecture Notes in Computer Science, pages 453–472. Springer-Verlag, New York, 1993.
W.M.P. van der Aalst and A.W. Waltmans. Modelling logistic systems with EXSPECT. In H.G. Sol and K.M. van Hee, editors,Dynamic Modelling of Information Systems, pages 269–288. Elsevier Science Publishers, Amsterdam, 1991.
ASPT.ExSpect 4.1 User Manual. Eindhoven, 1993.
B. Berthomieu and M. Diaz. Modelling and verification of time dependent systems using Time Petri Nets.IEEE Transactions on Software Engineering, 17(3):259–273, March 1991.
J. Bourachot. Computer-aided planning of traffic in large stations by means of the AFAIG model.Rail International, May:2–18, 1986.
G. Florin and S. Natkin. Evaluation based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol. In C. Girault and W. Reisig, editors,Application and theory of Petri nets: selected papers from the first and the second European workshop, volume 52 ofInformatik Fachberichte, pages 280–288, Berlin, 1982. Springer-Verlag, New York.
C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezze. A unified high-level Petri net formalism for time-critical systems.IEEE Transactions on Software Engineering, 17(2):160–172, Feb 1991.
K.M. van Hee.Information System Engineering: a Formal Approach. Cambridge University Press, 1994.
K.M. van Hee, L.J. Somers, and M. Voorhoeve. Executable specifications for distributed information systems. In E.D. Falkenberg and P. Lindgreen, editors,Proceedings of the IFIP TC 8 / WG 8.1 Working Conference on Information System Concepts: An In-depth Analysis, pages 139–156, Namur, Belgium, 1989. Elsevier Science Publishers, Amsterdam.
P. Hubner, A.M. Jensen, L.O. Jepsen, and K. Jensen. Reachability trees for high level Petri nets.Theoretical Computer Science, 45:261–292, 1986.
K. Jensen. Coloured Petri Nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors,Advances in Petri Nets 1986 Part I: Petri Nets, central models and their properties, volume 254 ofLecture Notes in Computer Science, pages 248–299. Springer-Verlag, New York, 1987.
K. Jensen. Coloured Petri Nets: A High Level Language for System Design and Analysis. In G. Rozenberg, editor,Advances in Petri Nets 1990, volume 483 ofLecture Notes in Computer Science, pages 342–416. Springer-Verlag, New York, 1990.
K. Jensen.Coloured Petri Nets. Basic concepts, analysis methods and practical use. EATCS monographs on Theoretical Computer Science. Springer-Verlag, New York, 1992.
M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani. On Petri Nets with Stochastic Timing. InProceedings of the International Workshop on Timed Petri Nets, pages 80–87, Torino, 1985. IEEE Computer Society Press.
M. Ajmone Marsan, G. Balbo, and G. Conte. A Class of Generalised Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems.ACM Transactions on Computer Systems, 2(2):93–122, May 1984.
J. Martinez and M. Silva. A simple and fast algorithm to obtain all invariants of a generalised Petri Net. In C. Girault and W. Reisig, editors,Application and theory of Petri nets: selected papers from the first and the second European workshop, volume 52 ofInformatik Fachberichte, pages 301–310, Berlin, 1982. Springer-Verlag, New York.
T. Murata. Petri Nets: Properties, Analysis and Applications.Proceedings of the IEEE, 77(4):541–580, April 1989.
M.A. Odijk. ITPN analysis of ExSpect specifications with respect to production logistics. Master's thesis, Eindhoven University of Technology, Eindhoven, 1991.
M.A. Odijk.A simulation tool to Evaluate the Performance of the Track Layout of Rail Junctions. NS (internal report), 1993.
M.A. Odijk and W.M.P. van der Aalst. A Petri net based simulation tool to evaluate the performance of railway stations. In A. Guasch and M. Huber, editors,Proceedings of the 1994 European Simulation Multiconference, pages 207–211, Barcelona, June 1994. Society of Computer Simulation (SCS).
C. Ramchandani.Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Nets. PhD thesis, Massachusetts Institute of Technology, Cambridge, 1973.
W. Reisig.Petri nets: an introduction. Prentice-Hall, Englewood Cliffs, 1985.
J. Sifakis. Use of Petri Nets for performance evaluation. In H. Beilner and E. Gelenbe, editors,Proceedings of the Third International Symposium IFIP W.G. 7.3., Measuring, modelling and evaluating computer systems (Bonn-Bad Godesberg, 1977), pages 75–93. Elsevier Science Publishers, Amsterdam, 1977.
A. Valmari. Stubborn sets for reduced state space generation. InProceedings of the 10th International Conference on Applications and Theory of Petri Nets, Bonn, June 1989.
W.M. Zuberek. Timed Petri Nets and Preliminary Performance Evaluation. InProceedings of the 7th annual Symposium on Computer Architecture, volume 8(3) ofQuarterly Publication of ACM Special Interest Group on Computer Architecture, pages 62–82, 1980.
Author information
Authors and Affiliations
Additional information
By order of and in co-operation with the Dutch Railway Company (NS), Department of Traffic Development.
Rights and permissions
About this article
Cite this article
van der Aalst, W.M.P., Odijk, M.A. Analysis of railway stations by means of interval timed coloured Petri nets. Real-Time Syst 9, 241–263 (1995). https://doi.org/10.1007/BF01088807
Issue Date:
DOI: https://doi.org/10.1007/BF01088807