机译:使用层次彩色Petri网的分布式系统弱的一致性模型
机译:使用分层有色Petri网在分布式共享内存中建模因果一致性
机译:使用分层有色Petri网在分布式共享内存中建模因果一致性
机译:分层有色Petri网的分布式入侵检测系统建模与仿真
机译:用彩色Petri网建模可重入制造系统的系统方法。
机译:SHER:用于无线通信的基于彩色Petri网的随机移动性模型
机译:分布式可再生能源发电系统中用于能源管理的多主体系统的有色Petri网建模
机译:彩色随机petri网(Cs-pn)软件:在分布式系统的验证和性能评估中的应用