Model Checking Branching Properties on Petri Nets with Transits.

Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog

Browse the full ATVA paper archive.