%su=2.0;
%sd=2.0;
%st=2.0;
%s=1.0;
%tr=0.6;
%ttr=0.8;
%tttr=0.6;
%w=1.0;
%pr=1.2;
%ppr=0.8;
%qr=1.2;
%qqr=0.8;
%r=2.0;

#Bidder       = (bid_in,su).WaitingBid + (preq_in, sd).WaitingPrice;
#WaitingBid   = (forward_accept, top).Bidder + (forward_reject, top).Incorrect;
#WaitingPrice = (forward_presp,top).Bidder;
#Incorrect    = (preq_in, st).WaitingPrice;

#Bidder_CN 	 = (bid'_in,su).WaitingBid_CN + (preq'_in, sd).WaitingPrice_CN;
#WaitingBid_CN   = (forward_accept', top).Bidder_CN + (forward_reject', top).Incorrect_CN;
#WaitingPrice_CN = (forward_presp',top).Bidder_CN;
#Incorrect_CN    = (preq'_in, st).WaitingPrice_CN;

#Node  = (bid_in, top).Node1 + (preq_in, top).Node2 + (accept_s, top).Node3 + (reject_s, top).Node4 + (presp_s, top).Node5;
#Node1 = (forward_bid, s).Node + (presp_s, top).Node6 + (accept_s, top).Node7 + (reject_s, top).Node8;
#Node2 = (forward_preq, s).Node + (presp_s, top).Node2t1;
       + (accept_s, top).Node2t2 + (reject_s,top).Node2t3;


#Node2t1 = (forward_presp, s).Node2;
#Node2t2 = (forward_accept, s).Node2;
#Node2t3 = (forward_reject, s).Node2;

#Node3 = (forward_accept, s).Node;
#Node4 = (forward_reject, s).Node;
#Node5 = (forward_presp, s).Node;
#Node6 = (forward_presp, s).Node1;
#Node7 = (forward_accept, s).Node1; 
#Node8 = (forward_reject, s).Node1;

#CNode  = (bid'_in,top).CNode1 + (preq'_in,top).CNode2 + (forward_accept_sc,top).CNode3 + (forward_reject_sc,top).CNode4 + (forward_presp_sc, top).CNode5;
#CNode1 = (forward_bid_nc, s).CNode + (forward_accept_sc,top).CNode6 + (forward_reject_sc,top).CNode7 + (forward_presp_sc, top).CNode8;
#CNode2 = (forward_preq_nc, s).CNode + (forward_accept_sc,top).CNode9 + (forward_reject_sc,top).CNode10 + (forward_presp_sc, top).CNode11;
#CNode3 = (forward_accept', s).CNode;
#CNode4 = (forward_reject', s).CNode;
#CNode5 = (forward_presp', s).CNode;
#CNode6 = (forward_bid_nc, s).CNode3;
#CNode7 = (forward_bid_nc, s).CNode4;
#CNode8 = (forward_bid_nc, s).CNode5;
#CNode9 = (forward_preq_nc, s).CNode3;
#CNode10 = (forward_preq_nc, s).CNode4;
#CNode11 = (forward_preq_nc, s).CNode5;


#TNodeB  = (bid_in, top).TNodeB1 + (preq_in, top).TNodeB2 + (accept_scb, top).TNodeB3 + (reject_scb, top).TNodeB4 + (presp_scb,top).TNodeB5;
#TNodeB1 = (forward_bid_csb,s).TNodeB;
#TNodeB2 = (forward_preq_csb, s).TNodeB;
#TNodeB3 = (forward_accept, s).TNodeB;
#TNodeB4 = (forward_reject, s).TNodeB;
#TNodeB5 = (forward_presp, s).TNodeB;

#TNodeN  = (forward_bid_nc, top).TNodeN1 + (forward_preq_nc, top).TNodeN2 + (accept_scn, top).TNodeN3 + (reject_scn, top).TNodeN4 + (presp_scn,top).TNodeN5;
#TNodeN1 = (forward_bid_csn,s).TNodeN;
#TNodeN2 = (forward_preq_csn, s).TNodeN;
#TNodeN3 = (forward_accept_sc,s).TNodeN;
#TNodeN4 = (forward_reject_sc,s).TNodeN;
#TNodeN5 = (forward_presp_sc,s).TNodeN;


#ServerN  = (forward_bid,top).ServerN' + (forward_preq,top).ServerN1; 
#ServerN' = (accept_s,pr).ServerN + (reject_s,ppr).ServerN;
#ServerN1 = (presp_s,r).ServerN;

#ServerC  = (forward_bid_csn,top).ServerC' + (forward_preq_csn,top).ServerC1;
#ServerC' = (accept_scn,pr).ServerC + (reject_scn,ppr).ServerC;
#ServerC1 = (presp_scn,r).ServerC;

#ServerT  = (forward_bid_csb,top).ServerT' + (forward_preq_csb,top).ServerT1;
#ServerT' = (accept_scb,pr).ServerT + (reject_scb,ppr).ServerT;
#ServerT1 = (presp_scb,r).ServerT;

(((ServerN <> ServerN) <> (ServerC <> ServerC) <> (ServerT <> ServerT))
<accept_scb,accept_scn,reject_scb,reject_scn,presp_scb,presp_scn,
forward_bid_csb,forward_bid_csn,forward_preq_csb,forward_preq_csn> 
(((Bidder <> Bidder)
<bid_in,forward_accept,forward_reject,preq_in,forward_presp> TNodeB)
<> (TNodeN <forward_bid_nc,forward_accept_sc, forward_reject_sc,
forward_preq_nc,forward_presp_sc> 
(CNode <bid'_in,preq'_in,forward_accept',forward_reject',forward_presp'> 
(Bidder_CN<>Bidder_CN)))))<accept_s,reject_s,presp_s,forward_preq,forward_bid> 
(Node <bid_in,preq_in, forward_accept,forward_reject,forward_presp> 
(Bidder <> Bidder))
