Advertisement

Modelling Travel Routes in Transport Systems by Means of Timed and Hybrid Petri Nets

Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 296)

Abstract

Timed Petri nets (TPN) and first order hybrid Petri nets (FOHPN) are tested here in order to model transport systems and to find the suitable travel routes in different non-standard situations during the increased traffic density (i.e. at the bounded traffic or congestion). This work extends our previous work where the flexible routes in transport systems were found by means of the place/transition Petri nets (P/T PN). While at usage of the TPN only the time parameters are assigned to the P/T PN model transitions, the FOHPN model is different and it yields the continuous flows of vehicles.

Keywords

Agent cooperation first order hybrid Petri nets hybrid Petri nets place/transition Petri nets timed Petri nets transport systems 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Čapkovič, F.: Travel Routes Flexibility in Transport Systems. In: Barbucha, D., Le, M.T., Howlett, R.J., Lakhmi, C.J. (eds.) Advanced Methods and Technologies for Agent and Multi-Agent Systems, pp. 30–39. IOS Press, Amsterdam-Berlin-Tokyo-Washington, DC3 (2013)Google Scholar
  2. 2.
    Balduzzi, F., Giua, A., Menga, G.: First-Order Hybrid Petri Nets: A Model for Optimization and Control. IEEE Trans. on Robotics and Automation 16, 382–399 (2000)CrossRefGoogle Scholar
  3. 3.
    Balduzzi, F., Giua, A., Seatzu, C.: Modelling and Simulation of Manufacturing Systems Using First-Order Hybrid Petri Nets. International Journal of Production Research 39, 255–282 (2001)CrossRefMATHGoogle Scholar
  4. 4.
    Balduzzi, F., Di Febbraro, A., Giua, A., Seatzu, C.: Decidability Results in First-Order Hybrid Petri Nets. Discrete Event Dynamic Systems 11, 41–58 (2001)CrossRefMATHMathSciNetGoogle Scholar
  5. 5.
    Dotoli, M., Fanti, M., Giua, A., Seatzu, C.: First-Order Hybrid Petri Nets. An Application to Distributed Manufacturing Systems. Nonlinear Analysis: Hybrid Systems 2, 408–430 (2008)MATHMathSciNetGoogle Scholar
  6. 6.
    David, R., Alla, H.: On Hybrid Petri Nets. Discrete Event Dynamic Systems: Theory and Applications 11, 9–40 (2001)CrossRefMATHMathSciNetGoogle Scholar
  7. 7.
    Dotoli, M., Fanti, M., Iacobellis, G., Mangini, A.M.: A First-Order Hybrid Petri Net Model for Supply Chain Management. IEEE Transactions on Automation Science and Engineering 6, 744–758 (2009)CrossRefGoogle Scholar
  8. 8.
    Ghomri, L., Alla, H.: Modeling and Analysis of Hybrid Dynamic Systems Using Hybrid Petri Nets. In: Kordic, V. (ed.) Petri Net Theory and Applications, ch. 6, pp. 113–130. I-Tech Education and Publishing, Vienna (2008)Google Scholar
  9. 9.
    Li, L., Ru, Y., Hadjicostis, C.N.: Least-cost transition firing sequence estimation in labeled Petri nets. In: Proceedings of the 45th IEEE International Conference on Decision and Control, San Diego, CA, USA, December 13-15, pp. 416–421 (2006)Google Scholar
  10. 10.
    Liu, Y., Dai, Y., Dai, Z.: Real-time adaptive gray threshold measurement in extracting traffic parameters. In: Proceedings of the 3rd International Symposium on Computational Intelligence and Industrial Applications, ISCIIA 2008, Dali, Yunnan Province, China, November 21-26, pp. 255–265 (2008)Google Scholar
  11. 11.
    Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77, 541–580 (1989)CrossRefGoogle Scholar
  12. 12.
    Peterson, J.L.: Petri Nets Theory and the Modelling of Systems. Prentice-Hall Inc., Englewood Cliffs (1981)Google Scholar
  13. 13.
    Sessego, F., Giua, A., Seatzu, C.: HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 419–428. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  14. 14.
    Sessego, F., Giua, A., Seatzu, C.: HYPENS Manual (2008), http://www.diee.unica.it/automatica/hypens/Manual_HYPENS.pdf
  15. 15.
    Popova-Zeugmann, L.: Time Petri Nets: Theory, Tools and Applications, Part 1, Part 2 (2008), http://www2.informatik.hu-berlin.de/~popova/1-part-short.pdf, http://www2.informatik.hu-berlin.de/~popova/2-part-short.pdf

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  1. 1.Institute of InformaticsSlovak Academy of SciencesBratislavaSlovak Republic

Personalised recommendations