e.pepa

PEPA模型性能分析工具

v1=0.1;
v2=0.1;
c=0.1;
a=0.1;
s5=0.1;
p1=0.1;
p2=0.1;
c0=0.1;
f=0.1;
fast=0.1;

Voters0_1=(sendA,v1).Voters0+(publishA,T).Voters0;
Voters0_2=(sendA,2*v1).Voters0_1+(publishA,T).Voters0;
Voters0=(new,T).Voters0_2+(publishA,T).Voters0;

Administrator=(sendA,T).(admin,a).(sendV,s5).Administrator+(publishA,p1).Administrator;

Voters1_0=(sendA,T).Voters1_1+(publishC,T).Voters4;
Voters1_1=(sendV,a).Voters1_2+(publishC,T).Voters4+(sendC,v2).Voters1_0;
Voters1_2=(publishC,T).Voters4+(sendC,2*v2).Voters1_1;
Voters4=(new,T).Voters1_0;

Collector_0=(sendC,T).(collect,c).Collector_1+(publishA,T).(publishC,p2).Counter_0;
Collector_1=(sendC,T).(collect,c).Collector_2+(publishA,T).(publishC,p2).Counter_1;
Collector_2=(publishA,T).(publishC,p2).Counter_2;

Counter_2=(sendC0,c0).Counter_1;
Counter_1=(sendC0,c0).Counter_0;
Counter_0=(finalPublish,f).(new,fast).Collector_0;

(Collector_0<publishA>Administrator)<sendA,sendC,sendV,publishC,publishA,new>(Voters0_2<new>Voters1_0)