Petri nets; Reachability analysis; Parameterized verification; Population protocols;
机译:一类广义Petri网的参数化活动和比率增强主管
机译:可组合参数化高级Petri网中的同步和异步通信
机译:参数化Petri网及其在智能系统中的计划和协调中的应用
机译:立即观察Petri网的参数化分析
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:无线可充电传感器网络杂交网络Petri净建模模拟和分析主机电阻
机译:计算参数化Petri网的参数化不变性
机译:利用DYNamO直接观测处理多普勒激光雷达和云雷达观测分析对流质量流量参数。