Ákos Hajdu, András Vörös, Tamás Bartha. New Search Strategies for the Petri Net CEGAR Approach. In Raymond R. Devillers, Antti Valmari, editors, Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings. Volume 9115 of Lecture Notes in Computer Science, pages 309-328, Springer, 2015. [doi]
Abstract is missing.