Reasoning and Verification with Data Petri Nets.

Paolo Felli, Marco Montali, Sarah Winkler

Browse the full IJCAI paper archive.