Petri nets ; Causality semantics ; Elementary net systems ; Activator arcs ; Inhibitor arcs ; Mutex arcs ; Semantical framework ; Step sequences ; Processes ; Extensions;
机译:Petri网中因果关系的合代语义
机译:Petri网中活度表征的结构因果关系
机译:Petri网的语言扩展,用于系统描述:时间序列的应用
机译:Petri网延伸的因果关系
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:遗传学中的因果关系:遗传效应的梯度和Koch的因果关系假设
机译:Petri网中因果关系的合代语义