You can not select more than 25 topics
			Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
		
		
		
		
		
			
		
			
				
					
					
						
							21 lines
						
					
					
						
							559 B
						
					
					
				
			
		
		
		
			
			
			
				
					
				
				
					
				
			
		
		
	
	
							21 lines
						
					
					
						
							559 B
						
					
					
				| toplevel "SYSTEM"; | |
| "SYSTEM" or "FDEP" "CPU" "MOTOR" "PUMPS"; | |
| "FDEP" fdep "TRIGGER" "P" "B"; | |
| "TRIGGER" or "CS" "SS"; | |
| "CPU" wsp "P" "B"; | |
| "MOTOR" or "SWITCH" "MOTORS"; | |
| "SWITCH" pand "MS" "MA"; | |
| "MOTORS" csp "MA" "MB"; | |
| "PUMPS" and "PUMP1" "PUMP2"; | |
| "PUMP1" csp "PA" "PS"; | |
| "PUMP2" csp "PB" "PS"; | |
| "P" lambda=5.0e-5 dorm=0; | |
| "B" lambda=5.0e-5 dorm=0.5; | |
| "CS" lambda=2.0e-5 dorm=0; | |
| "SS" lambda=2.0e-5 dorm=0; | |
| "MS" lambda=1.0e-6 dorm=0; | |
| "MA" lambda=1.0e-4 dorm=0; | |
| "MB" lambda=1.0e-4 dorm=0; | |
| "PA" lambda=1.0e-4 dorm=0; | |
| "PB" lambda=1.0e-4 dorm=0; | |
| "PS" lambda=1.0e-4 dorm=0;
 |