Frederik Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba. Simplification of CTL Formulae for Efficient Model Checking of Petri Nets. In Victor Khomenko, Olivier H. Roux, editors, Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Volume 10877 of Lecture Notes in Computer Science, pages 143-163, Springer, 2018. [doi]
Abstract is missing.