@inbook {IOPORT.06061027,
    author       = {Kol\'a\v{r}, Du\v{s}an and Kv\v{e}to\v{n}ov\'a, \v{S}\'arka},
    title        = {People transfer in city transport modeled via CPN.},
    year         = {2012},
    booktitle    = {Computer aided systems theory -- EUROCAST 2011. 13th international conference, Las Palmas de Gran Canaria, Spain, February 6--11, 2011. Revised selected papers, Part I},
    isbn         = {978-3-642-27548-7},
    pages        = {192-199},
    publisher    = {Berlin: Springer},
    doi          = {10.1007/978-3-642-27549-4_25},
    abstract     = {Summary: 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.},
    identifier   = {06061027},
}