1. X. Chen, X. Zhu, O. Zhou and Y. D. Wong, Journal of Advanced Transportation, 3128372 (2017).
2. T. Yoneda and H. Ryuba, CTL Model Checking of Time Petri Nets using Geometric Regions. IEICE Transactions on Inf. and Syst. E99-D J. E 3. (1998).
3. D. N. Trushnikov, D. S. Belinin and Y. D. Shitsyn, Modern problems of science and education 2, p. 95 (2014)
4. Modeling and verification of time dependent systems using time Petri nets
5. R. Boşneagu, C. E. Coca and F. Sorescu, EIRP Proceedings 10, pp. 360–368 (2015).