Discrete Event Dynamic Systems. 2001;11(1-2):41-57. doi: 10.1023/a:1008383031624 Q31.02025

Decidability results in First–Order Hybrid Petri Nets

一阶混合佩特里网的可判定性结果

DOI: 10.1023/a:1008383031624

摘要 查看摘要

Copyright © Discrete Event Dynamic Systems. 中文内容为AI机器翻译，仅供参考！