Petri nets; distributed processing; graph colouring; multi-agent systems; security of data; Petri net variant; complex attack scenario; flaw hypothesis model; interval timed colored Petri net; multiagent vulnerability; networked distributed system; penetration test;
机译:使用扩展间隔定时彩色Petri网的时间关键上下文感知服务建模与分析
机译:检查间隔定时有色Petri网模型的无定时和定时线性特性
机译:基于场景的彩色Petri网基于卫星的列车控制系统的建模
机译:使用间隔定时彩色Petri网的复杂攻击情景建模与执行
机译:用彩色Petri网建模可重入制造系统的系统方法。
机译:SHER:用于无线通信的基于彩色Petri网的随机移动性模型
机译:使用区间定时着色petri网建模和执行复杂攻击场景