Petri nets; Algebra; Reactive power; Concurrent computing; Analytical models; Computational modeling;
机译:混合Petri网的ITL语义
机译:Petri网综合的结构性分析共享PP子网
机译:具有共享资源的定时放置Petri网建模的离散事件系统分析
机译:从具有共享变量的Petri网到ITL
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:常见可变免疫缺陷与Sjögren综合征之间的共同致病特征:个性化医学的线索
机译:混合Petri网的ITL语义