Publisher
Springer Nature Singapore
Reference26 articles.
1. Hadjidj, R., Boucheneb, H.: Improving state class constructions for CTL* model checking of time Petri nets. International Journal of Software Tools Technology Transfer 10: 167–184 (2008)
2. Bachmann, J.P., Popova-Zeugmann, L.: Time-independent liveness in time Petri nets. Fundamenta Informaticae 101: 1–17 (2010)
3. Liu, G.J., Jiang, C.J., Zhou, M.C.: Time-soundness of time Petri nets Modelling time-critical systems. ACM Transactions on Cyber-Physical Systems 2, article number 11, 27 pages (2018)
4. Boucheneb, H., Hadjidj, R.: CTL* model checking for time Petri nets. Theoretical Computer Science 353: 208–227 (2006)
5. Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics: A Foundation for Computer Science. Addison-Wesley Publishing Company (2002)