后向回路网相关硕士博士期刊学术论文 - 搜论网

后向回路网相关论文

可达性与状态方程可满足性等价的两个Petri网子类

可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。......

期刊

PETRI网可达性极小陷阱回路网后向回路网 Petri nets Reachability minimal-trap-circuit Petri ne

看过本文同时还关注