People transfer in city transport modeled via CPN

  • Authors:
  • Du$#353/an Kol$#225/$#345/;Š/$#225/rka Kvě/toň/ov$#225/

  • Affiliations:
  • Department of Information Systems, Faculty of Information Technology, Technical University of Brno, Brno, Czech Republic;Department of Information Systems, Faculty of Information Technology, Technical University of Brno, Brno, Czech Republic

  • Venue:
  • EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

The main goal of the paper is to present an optimized model of a complex City Transport System via CPN Tools (Coloured Petri Nets) in order to improve whole system with respect to their specific characteristics and environment (e.g. rush hours, car accident etc.). Our approach is based on timed Coloured Petri nets and simulation techniques exploiting such nets. In particular, we demonstrate on a simplified model from the real environment that the whole system is very predisposed to insufficiency. Especially, in any case of even a little delay the whole system begins to fail transfer people fluently. First of all, the main preliminaries are presented and after that we describe our approach and model in more details.