Keyword:vector addition systems

Publications
Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes Wojciech Czerwiński and Łukasz Orlikowski EasyChair Preprint 8619
Acceleration For Presburger Petri Nets Jerome Leroux In:VPT 2013. First International Workshop on Verification and Program Transformation