带标识符的Petri网的正确性概念

摘要:对象-感知信息系统模型的正确性准则的研究

作者:Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy

论文ID:2212.07363

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2023-05-16

PDF 下载: 英文版 中文版pdf翻译中