Weighted petri net; Marked graph; Synthesis; Labelled transition system; Cycles; Cyclic words; Circular solvability; Theory of regions; Geometric interpretation;
机译:具有标记的过渡系统的标记图的足够条件
机译:用于标记定时加权标记图的优化的改进方法
机译:一种约束性NMF方法,用于分析定量的元基因组数据
机译:从约束标记的转换系统合成加权标记图:几何方法
机译:与方法有关,与时间有关,受标签约束的最短路径问题以及对CART算法的增强及其在交通运输系统中的应用
机译:电子鼻系统混合气味分析的局部加权最近邻算法和加权约束最小二乘方法
机译:高效合成加权标记图,具有圆形到达性图,及以后