Login / Signup
Continuous Reachability for Unordered Data Petri nets is in PTime.
Utkarsh Gupta
Preey Shah
S. Akshay
Piotr Hofman
Published in:
CoRR (2019)
Keyphrases
</>
petri net
data analysis
xml documents
state space
computer systems