The Reachability Problem for Two-Dimensional Vector Addition Systems with States
Journal of the ACM（2021）
关键词
Vector addition systems with states, Petri nets, semi-linear sets, linear path schemes, reachability
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要