机译:具有语义信息的Petri网模型可达性图的并行计算
Eindhoven Univ Technol, Dept Math & Comp Sci, Architecture Informat Syst AIS Grp, Eindhoven, Netherlands;
Univ Zaragoza, Dept Comp Sci & Syst Engn, Inst Engn Res I3A, Zaragoza, Spain;
Univ Zaragoza, Dept Comp Sci & Syst Engn, Inst Engn Res I3A, Zaragoza, Spain;
Univ Zaragoza, Dept Comp Sci & Syst Engn, Inst Engn Res I3A, Zaragoza, Spain;
petri nets; reachability graph; semantics; parallel computing; high-perfomance computing; cloud computing;
机译:混合和混合自适应Petri网:可达性图的计算
机译:基于超图划分的连续Petri网并行计算
机译:时间Petri网的可达性分析中减少交织语义冗余
机译:使用CUDA C ++并行应用的IOPT Petri网模型的可达性图
机译:使用混合Petri网对自动并行停车系统进行建模和仿真。
机译:郎格罕斯细胞干扰素调节因子网络的Petri网计算模型预测了它们在T细胞活化中的作用
机译:具有语义信息的Petri网模型可达性图的并行计算
机译:自由选择petri网中可达死区的并行计算