mtype = { ready, exec, success };
mtype pc1=ready;
mtype pc2= ready;
mtype pc3= ready;

active proctype process1 ()
{	
do
	pc1 = exec;  
	pc1 = success;  
	pc1 = ready;  
od	
	 
}

active proctype process2 ()
{	
do
	pc2 = exec;  
	pc2 = success;  
	pc2 = ready;  

od	
	 
}

active proctype process3()
{	
do
	pc3 = exec;  
	pc3 = success;  
	pc3 = ready;  

od	
}