Login / Signup
Continuous Reachability for Unordered Data Petri Nets is in PTime.
Utkarsh Gupta
Preey Shah
S. Akshay
Piotr Hofman
Published in:
FoSSaCS (2019)
Keyphrases
</>
petri net
computer systems
data mining
data analysis
data processing