Institute of Computer Science, P.A.S., Gdansk, Poland;
机译:改进的有色Petri网用于无线网络的随机方向移动性模型的建模和仿真
机译:WMN定时彩色Petri网的随机航点移动性模型的形式化和可执行性规范
机译:WMN定时彩色Petri网的随机航点移动性模型的形式化和可执行性规范
机译:用Petri Hypernets建模移动性
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:SHER:用于无线通信的基于彩色Petri网的随机移动性模型
机译:使用petri Hypernet建模移动性
机译:进程代数和petri网中的定时移动性