Petri nets; polynomial approximation; sequential estimation; polynomial algorithm; elementary siphons; Petri nets; deadlock control policies; simple sequential process; integrated net analyzer;
机译:一种基本的基于虹吸的死锁控制算法,具有最大可到达的数目以应对普通Petri网中的死锁问题:
机译:更新为“使用图论提取一类广义Petri网中的基本虹吸管”(工程计算,2014年,第31卷第2期,第331-352页)
机译:基于互补位置和基本虹吸管的一类Petri网的防死锁策略
机译:多项式算法在一类培养网中找到一组基本虹吸管
机译:所有最小双线性算法的分类,用于计算两种多项式模数的系数多项式
机译:一类布尔生物网络可控制性测试的多项式时间算法
机译:基于基于Siphon的死锁控制算法,具有最大可达数量,以应对普通Petri网的死锁问题