elec.pepa

PEPA模型性能分析工具

a1=0.1;
a2=0.1;
b1=0.1;
b2=0.1;
b3=0.1;
c1=0.1;
c2=0.1;
c3=0.1;
c4=0.1;
c5=0.1;
s1=0.1;
s2=0.1;
s3=0.1;
s4=0.1;
s5=0.1;
s6=0.1;
s7=0.1;
u2=0.1;
v1=0.1;
v2=0.1;
v3=0.1;
v4=0.1;
v5=0.1;
p1=0.1;
p2=0.1;
f=0.1;
fast=0.1;
p=0.5;

Voter0=(choose,c1).Voter0_1+(publishC,T).Voter4;
Voter0_1=(bitcommit,b1).Voter0_2+(publishC,T).Voter4;
Voter0_2=(blind,b2).Voter0_3+(publishC,T).Voter4;
Voter0_3=(blind,b3).Voter0_4+(publishC,T).Voter4;
Voter0_4=(sign,s1).Voter0_5+(publishC,T).Voter4;
Voter0_5=(sendA,s2).(sendV,T).Voter1+(publishC,T).Voter4;
Voter1=(unblind,u2).Voter1_1+(publishC,T).Voter4;
Voter1_1=(unblind,u2).Voter1_2+(publishC,T).Voter4;
Voter1_2=(verify,v2).Voter1_3+(publishC,T).Voter4;
Voter1_3=(verify,v3).Voter1_4+(publishC,T).Voter4;
Voter1_4=(sendC,s6).(publishC,T).Voter2+(publishC,T).Voter4;
Voter2=(check,p*c4).Voter3+(check,0.5*c4).(sendC0,s7).Voter4;
Voter3=(appeal,a1).(sendC0,s7).Voter4;
Voter4=(new,T).Voter0;

Administrator=(sendA,T).(check,c2).(check2,c3).(verify,v1).(sign,s3).(sign,s4).(sendV,s5).Administrator+(publishA,p1).(new,T).Administrator;

Collector0=(sendC,T).(verify,v4).(verify,v5).(add,a2).Collector1+(publishA,T).(publishC,p2).Counter0;
Collector1=(publishA,T).(publishC,p2).Counter1;

Counter1=(sendC0,T).(check,c5).Counter0;
Counter0=(finalPublish,f).(new,fast).Collector0;

(Collector0<publishA,new>Administrator)<sendA,sendV,sendC,sendC0,publishC,new>(Voter0<publishC,new>Voter0)