test.pepa

来自「PEPA模型性能分析工具」· PEPA 代码 · 共 8 行

r1=0.1;
r2=0.2;
s=0.3;
Processor0=(task1,r1).Processor1;
Processor1=(task2,r2).Processor0;
Resorce0=(task1,r1).Resource1;
Resource1=(reset,2).Resource0;
(Resource0||Resource0)<task1>(Processor0||Processor0)