...
机译:有界Petri网的一些状态计数问题的复杂性
Complexity theory; Nickel; Petri nets; Polynomials; Resource management; Vectors; Discrete event systems (DES); Petri nets (PNs);
机译:使用验证器网络对有界和无界有标签Petri网进行实时诊断性分析
机译:使用验证者网的有界和无界标记的Petri网的在线诊断性分析
机译:多项式复杂性强大的死锁控制器,用于一类自动制造系统,使用Petri网具有不可靠的资源
机译:结构受限的b界Petri网的合成:复杂性结果
机译:有界Petri网的符号模型检查的编码方案比较。
机译:非小细胞肺癌细胞的单细胞大规模细胞计数揭示了培养皿上的体内和三维模型的复杂性。
机译:通过附加证明网和petri网的和积逻辑的复杂性界限