Audio; Correctness; Multipoint; Petri Nets; Synchronization;
机译:基于矩阵半张量积的同步转移有界Petri网系统的建模和可达性分析
机译:基于Petri网的交互式多媒体同步模型
机译:基于定时Petri网的多媒体同步模型
机译:基于Petri网的音频会议多点同步模型
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:使用Time Petri网络方法建模多媒体同步
机译:利用petri网模型进行多处理器同步和schuduling,B系列,13号