EUROCAST 2011: Computer Aided Systems Theory – EUROCAST 2011 pp 192-199 | Cite as
People Transfer in City Transport Modeled via CPN
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.
Keywords
Petri Nets CPN Tools City Transport System Optimization SimulationPreview
Unable to display preview. Download preview PDF.
References
- 1.Češka, M.: Petriho sítì, Brno. In: CERM (1994) ISBN 80-85867-35-4Google Scholar
- 2.Girault, C.: Petri Nets for Systems Engineering. Springer, Heidelberg (2003) ISBN 3540412174CrossRefMATHGoogle Scholar
- 3.Goldberg, D.E.: Genetic Algorithms in Search, Optimization, and Machine Learning. Addison-Wesley Professional, Reading (1989) ISBN-10: 0201157675 MATHGoogle Scholar
- 4.Janoušek, V.: PNtalk Project, http://perchta.fit.vutbr.cz:8000/projekty/12 (cited November 2010)
- 5.Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer, Heidelberg (1996) ISBN-10: 3540609431 CrossRefMATHGoogle Scholar
- 6.Jensen, K.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009) ISBN-10: 3642002838 CrossRefMATHGoogle Scholar
- 7.Jensen, K., Kristensen, L.M., Wells, W.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer (STTT) 9(3) (2007)Google Scholar
- 8.Kačic, M.: Systém řízení dopravy, Master Thesis, Brno University of Technology (2010)Google Scholar
- 9.Peringer, P.: Simlib, http://www.fit.vutbr.cz/~peringer/SIMLIB/ (cited November 2010)
- 10.Rozenberg, G. (ed.): APN 1991. LNCS, vol. 524. Springer, Heidelberg (1991) ISBN 0387538631 MATHGoogle Scholar
- 11.CPN Tools, http://wiki.daimi.au.dk/cpntools/cpntools.wiki (cited November 2010)