摘要：有限状态机与Petri网之间的等价性研究
作者：Piotr Hofman, Richard Mayr, Patrick Totzke
论文ID：1304.4104
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-06-17
PDF 下载： 英文版 中文版pdf翻译中