摘要：合成归纳半空间：一种归纳的广义上有界变量的非线性态势，用于Petri网的归纳性质的验证和反例的产生
作者：Peter Chini and Florian Furbach
论文ID：2105.03096
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-05-10
PDF 下载： 英文版 中文版pdf翻译中