机译:移动计算系统的建模与分析:扩展的Petri网形式主义
机译:移动计算系统的建模与分析:扩展的Petri网形式主义
机译:移动计算系统的建模与分析:扩展的Petri网形式主义
机译:基于Petri网形式主义的加工系统模块化逻辑控制器的建模与分析方法。
机译:流体随机Petri网:扩展的形式主义,包括非马尔可夫模型
机译:MediaWare:基于可互操作Petri网的分布式多媒体计算环境和形式主义。
机译:具有磁化传递和交换的系统的扩展相图形式化
机译:基于Petri网形式主义的加工系统模块化逻辑控制器建模与分析方法论。