Place Attributes:

Place Names	Initial Markings
busy	0
failed	0
idle	1

Timed Activity:	arrival
Distribution Parameters	Rate alpha
Activation Predicate	(none)
Reactivation Predicate	(none)

Timed Activity:	busy_fail
Distribution Parameters	Rate lambda_w
Activation Predicate	(none)
Reactivation Predicate	(none)

Timed Activity:	completed
Distribution Parameters	Rate beta
Activation Predicate	(none)
Reactivation Predicate	(none)

Timed Activity:	idle_fail
Distribution Parameters	Rate lambda_i
Activation Predicate	(none)
Reactivation Predicate	(none)

Input Gate:	I_arr
Predicate	idle->Mark() == 1
Function	idle->Mark() = 0;

Input Gate:	I_busy_fail
Predicate	busy->Mark() == 1
Function	busy->Mark() = 0;

Input Gate:	I_comp
Predicate	busy->Mark() == 1
Function	busy->Mark() = 0;

Input Gate:	I_idle_fail
Predicate	idle->Mark() == 1
Function	idle->Mark() = 0;

Output Gate:	O_arr
Function	busy->Mark() = 1;

Output Gate:	O_busy_fail
Function	failed->Mark() = 1;

Output Gate:	O_comp
Function	idle->Mark() = 1;

Output Gate:	O_idle_fail
Function	failed->Mark() = 1;