Contains the keyword Abstraction
New Search Strategies for the Petri Net CEGAR Approach. In: Devillers R, Valmari A, editors. Application and Theory of Petri Nets and Concurrency. Vol 9115. Springer; 2015. p. 309-28. (Lecture Notes in Computer Science; vol 9115). Abstract