TY  - RPRT
TI  - Continuous Reachability for Unordered Data Petri nets is in PTime
AU  - Utkarsh Gupta
AU  - Preey Shah
AU  - S. Akshay
AU  - Piotr Hofman
PY  - 2019
UR  - https://arxiv.org/abs/1902.05604
ID  - 1902.05604
ER  -