Reachability analysis

New Search Strategies for the Petri Net CEGAR Approach

Hajdu, Á., Vörös, A., and Bartha, T., "New Search Strategies for the Petri Net CEGAR Approach", Application and Theory of Petri Nets and Concurrency, vol. 9115: Springer, pp. 309-328, 2015.

PDF:

application/pdf icon

BibTex