HTMT execution model; petri nets; parcels; active messages; multithreading;
机译:具有一般执行策略的Marlov再生随机Petri网:补充变量分析和原型工具
机译:Petri网代表机器人任务计划:建模,识别,分析和执行
机译:Petri网代表机器人任务计划:建模,识别,分析和执行
机译:Java中HTMT PETAFLOP机器的原型执行模型
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:模拟拟南芥的代谢:网络分解和网络还原在Petri网中的应用
机译:使用区间定时着色petri网建模和执行复杂攻击场景
机译:petri网支持符号执行并发ada程序