Your browser does not support JavaScript!

Using CSTPNs to model traffic control CPS

Using CSTPNs to model traffic control CPS

For access to this article, please select a purchase option:

Buy article PDF
(plus tax if applicable)
Buy Knowledge Pack
10 articles for $120.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Your details
Why are you recommending this title?
Select reason:
IET Software — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

Transportation cyber-physical system (T-CPS) is a spatiotemporal discrete-continuous hybrid system. However, the hybrid T-CPSs have some analysis and modelling problems, especially the problems related to the spatiotemporal characteristics. Existing coloured Petri net approaches of traffic control cannot effectively analyse dynamic changes of cyber systems and physical entities in space and time. Moreover, some problems, related to the state space explosion and the large complex T-CPSs, have not been well solved. This study develops the innovative methods for T-CPS design and modelling via the development and application of coloured spatiotemporal Petri nets (CSTPNs). The proposed research ideas involve the CSTPN theory creation, the development of traffic intersection coordination control system using CSTPNs, the traffic simulation analysis and the implementation of T-CPS-based CSTPNs. The experimental results show that the new spatiotemporal theories and approaches of the traffic coordination control based on CSTPNs have excellent potentials to address the issues related to the spatiotemporal discrete-continuous characteristics of T-CPS. Moreover, these innovative methods with a good validity can be easily applied into practise for the development of T-CPS.


    1. 1)
      • 17. Shao, Z., Liu, J.: ‘Spatio-temporal hybrid automata for cyber-physical systems’, In: Liu, Z., Woodcock, J., Zhu, H. (eds): ‘International colloquium on theoretical aspects of computing (ICTAC)’, (Springer, Berlin Heidelberg), 2013, pp. 337354.
    2. 2)
      • 32. Jianjun, S., Xu, W., Jizhen, G., et al: ‘The analysis of traffic control cyber-physical systems’, Procedia, Soc. Behav. Sci., 2013, 96, pp. 24872496.
    3. 3)
      • 4. Peterson, J.L.: ‘Petri net theory and the modeling of systems’, 1981.
    4. 4)
      • 13. Wu, H., Chen, Y., Zhang, M.: ‘On denotational semantics of spatial-temporal consistency language – SteC’. 2013 Int. Symp. on Theoretical Aspects of Software Engineering (TASE), 2013.
    5. 5)
      • 12. Haghighi, I., Jones, A., Kong, Z., et al: ‘SpaTeL: a novel spatial–temporal logic and its applications to networked systems’. Proc. of the 18th Int. Conf. on Hybrid Systems, Computation and Control, 2015, pp. 189198.
    6. 6)
      • 18. Thong, W.J., Ameedeen, M.A.: ‘A survey of Petri net tools’, inSulaiman, H.A., Othman, M.A., Othman, M.F.I, Pee, N.C., Rahim, Y.A., Pee, N.C. (EDs.): ‘Advanced Computer and Communication Engineering Technology’ (Springer International Publishing, 2015), pp. 537551.
    7. 7)
      • 35. Yue, H., Rilett, L.R., Revesz, P.Z.: ‘Spatio-temporal traffic video data archiving and retrieval system’, GeoInformatica, 2016, 20, (1), pp. 5994.
    8. 8)
      • 25. Dotoli, M., Fanti, M.P., Iacobellis, G.: ‘An urban traffic network model by first order hybrid Petri nets’. IEEE Int. Conf. on Systems, Man and Cybernetics, SMC 2008, 2008, pp. 19291934.
    9. 9)
      • 33. Liu, C., Sharma, A., Smaglik, E., et al: ‘TraSER: a traffic signal event-based recorder’, Softwarex, 2016, 5, pp. 156162.
    10. 10)
      • 5. Murata, T.: ‘Petri nets: properties, analysis and applications’, Proc. IEEE, 1989, 77, (4), pp. 541580.
    11. 11)
      • 11. Febbraro, A.D., Giglio, D., Sacco, N.: ‘On applying Petri nets to determine optimal offsets for coordinated traffic light timings’. Proc. The IEEE Int. Conf. on Intelligent Transportation Systems, 2002, 2002.
    12. 12)
      • 14. Mu, Y., Wu, J., Jenkins, N., et al: ‘A spatial–temporal model for grid impact analysis of plug-in electric vehicles’, Appl. Energy, 2014, 114, pp. 456465.
    13. 13)
      • 15. Chi, M., Yubin, H., Yongyong, Z., et al: ‘Spatial–temporal indexing research based on road network: improved-MON-tree’, Int. J. Hybrid Inf. Technol., 2014, 7, (4), pp. 407416.
    14. 14)
      • 31. Azimi, R., Bhatia, G., Rajkumar, R., et al: ‘Intersection management using vehicular networks’, SAE Technical Paper, 2012.
    15. 15)
      • 9. Júlvez, J., Boel, R.K.: ‘A continuous Petri net approach for model predictive control of traffic systems’, IEEE Trans. Syst. Man Cybern. A, Syst. Hum., 2010, 40, (4), pp. 686697.
    16. 16)
      • 27. Dotoli, M., Fanti, M.P.: ‘An urban traffic network model via coloured timed Petri nets’, Control Eng. Pract., 2006, 14, (10), pp. 12131229.
    17. 17)
      • 6. Girault, C., Valk, R.: ‘Petri nets for systems engineering: a guide to modeling, verification, and applications’ (Springer Science and Business Media, Berlin, 2003).
    18. 18)
      • 29. Di Febbraro, A., Sacco, N.: ‘On modelling urban transportation networks via hybrid Petri nets’, Control Eng. Pract., 2004, 12, (10), pp. 12251239.
    19. 19)
      • 30. Perronnet, F., Abbas-Turki, A., El Moudni, A.: ‘Vehicle routing through deadlock-free policy for cooperative traffic control in a network of intersections: reservation and congestion’. 2014 IEEE 17th Int. Conf. on. Intelligent Transportation Systems (ITSC), 2014, pp. 22332238.
    20. 20)
      • 16. Kloog, I., Chudnovsky, A.A., Just, A.C., et al: ‘A new hybrid spatio-temporal model for estimating daily multi-year PM 2.5 concentrations across northeastern USA using high resolution aerosol optical depth data’, Atmos. Environ., 2014, 95, pp. 581590.
    21. 21)
      • 3. Yue, H., Revesz, P.Z.: ‘TVICS: an efficient traffic video information converting system’, 19th Int. Symp. on Temporal Representation and Reasoning (TIME), (Prentice Hall inc, NJ, 2012), pp. 141148.
    22. 22)
      • 22. List, G.F., Cetin, M.: ‘Modeling traffic signal control using Petri nets’, IEEE Trans. Intell. Transp. Syst., 2004, 5, (3), pp. 177187.
    23. 23)
      • 26. J, űlvez, J.J., Boel, R.K.: ‘A continuous Petri net approach for model predictive control of traffic systems’, IEEE Trans. Syst. Hum. Syst. Man Cybern. A, 2010, 40, (4), pp. 686697.
    24. 24)
      • 21. Huang, Y.S., Chung, T.H.: ‘Modelling and analysis of air traffic control systems using hierarchical timed coloured Petri nets’, Trans. Inst. Meas. Control, 2011, 33, (1), pp. 3049.
    25. 25)
      • 28. Ma, N.: ‘Influence factors of coordination control system in signalized intersections’, Harbin Gongye Daxue Xuebao (J. Harbin Inst. Technol.), 2011, 43, (6), pp. 112117.
    26. 26)
      • 19. Zhang, G., Zhang, M., Yan, R., et al: ‘Modeling and analysis for CPS physical entities based on spatio-temporal Petri net’, J. Comput., 2014, 9, (2), pp. 499505.
    27. 27)
      • 23. Cheng, Y.H., Yang, L.A.: ‘A fuzzy Petri nets approach for railway traffic control in case of abnormality: evidence from Taiwan railway system’, Expert Syst. Appl., 2009, 36, (4), pp. 80408048.
    28. 28)
      • 34. Yue, H., Jones, E.G., Revesz, P.: ‘Local polynomial regression models for average traffic speed estimation and forecasting in linear constraint databases’. 2010 17th Int. Symp. on Temporal Representation and Reasoning (TIME), 2010, pp. 154161.
    29. 29)
      • 20. Aized, T.: ‘Modelling and performance maximization of an integrated automated guided vehicle system using coloured Petri net and response surface methods’, Computers & Industrial Engineering, 2009, 57, (3), pp. 822831.
    30. 30)
      • 2. Sun, D.H., Li, Y.H., Liu, W.N., et al: ‘Research summary on transportation cyber physical systems and the challenging technologies’, Zhongguo Gonglu Xuebao (China J. Highway Transp.), 2013, 26, (1), pp. 144154.
    31. 31)
      • 10. Ng, K.M., Reaz, M.B.I., Ali, M.A.M.: ‘A review on the applications of Petri nets in modeling, analysis, and control of urban traffic’, IEEE Trans. Intell. Transp. Syst., 2013, 14, (2), pp. 858870.
    32. 32)
      • 7. Huang, H., Kirchner, H.: ‘Policy composition based on Petri nets’. 33rd Annual IEEE Int. Computer Software and Applications Conf., COMPSAC'09, 2009.
    33. 33)
      • 24. Silva, M., Recalde, L.: ‘On fluidification of Petri nets: from discrete to hybrid and continuous models’, Annu. Rev. Control, 2004, 28, (2), pp. 253266.
    34. 34)
      • 1. Yue, H., Yang, R.J.: ‘Development of intelligent transportation systems and plan of integrated information system’, J. Wuhan Univ. Technol., 2005, 109, (1), pp. 5770.
    35. 35)
      • 8. Febbraro, A.D., Sacco, N.: ‘On modelling urban transportation networks via hybrid Petri nets’, Control Eng. Pract., 2004, 12, (10), pp. 12251239.

Related content

This is a required field
Please enter a valid email address