Token Elimination in Model Checking of Petri Nets.

Nicolaj . Jensen, Kim G. Larsen, Jir Srba

Browse the full TACAS paper archive.