Continuous Reachability for Unordered Data Petri Nets is in PTime.

Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman

Browse the full FOSSACS paper archive.