等待网络:状态类和分类学

摘要:等待网:解耦时间与控制的时态Petri网扩展

作者:Lo"ic H''elou"et, Pranay Agrawal

论文ID:2211.10540

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2023-04-24

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