机译:具有唯一一致的发射计数向量的Petri网的遍历性和吞吐量边界
机译:具有已知发射计数向量的Petri网的可达性准则
机译:T不变量和P / T Petri网的特殊解的展开的计数向量的查找系数
机译:具有唯一重复发射计数向量的Petri网的性质和稳态性能界限
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:单独的巴曲毒素治疗的钠通道的稳态动力学。聚合物构象有界连续体的动力学。
机译:具有唯一一致射击计数向量的petri网的遍历性和吞吐量界