Skip to main content
SpringerLink
Log in

People Transfer in City Transport Modeled via CPN

  • Conference paper
Computer Aided Systems Theory – EUROCAST 2011 (EUROCAST 2011)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6927))

Included in the following conference series:

  • 1683 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Češka, M.: Petriho sítì, Brno. In: CERM (1994) ISBN 80-85867-35-4

    Google Scholar 

  2. Girault, C.: Petri Nets for Systems Engineering. Springer, Heidelberg (2003) ISBN 3540412174

    Book  MATH  Google Scholar 

  3. Goldberg, D.E.: Genetic Algorithms in Search, Optimization, and Machine Learning. Addison-Wesley Professional, Reading (1989) ISBN-10: 0201157675

    MATH  Google 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

    Book  MATH  Google Scholar 

  6. Jensen, K.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009) ISBN-10: 3642002838

    Book  MATH  Google 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

    MATH  Google Scholar 

  11. CPN Tools, http://wiki.daimi.au.dk/cpntools/cpntools.wiki (cited November 2010)

Download references

Author information

Authors and Affiliations

  1. Department of Information Systems, Faculty of Information Technology, Technical University of Brno, Božetěchova 2, Brno, 612 66, Czech Republic

    Dušan Kolář & Šárka Květoňová

Authors
  1. Dušan Kolář
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Šárka Květoňová
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Instituto Universitario de Ciencias y Tecnologías Cibernéticas, Universidad de Las Palmas de Gran Canaria, Campus de Tafira, 35017, Las Palmas de Gran Canaria, Spain

    Roberto Moreno-Díaz  & Alexis Quesada-Arencibia  & 

  2. Institute of Systems Science, Johannes Kepler University Linz, Altenbergerstrasse 69, 4040, Linz, Austria

    Franz Pichler

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kolář, D., Květoňová, Š. (2012). People Transfer in City Transport Modeled via CPN. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds) Computer Aided Systems Theory – EUROCAST 2011. EUROCAST 2011. Lecture Notes in Computer Science, vol 6927. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27549-4_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-27549-4_25

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-27548-7

  • Online ISBN: 978-3-642-27549-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation