Let's say a worker can perform 4 types of tasks in a day: A,B,C,D.
Each of which tasks takes time that is distributed according to some probability distribution, say
$$ T_A \sim Gamma(\alpha_A, \beta_A)\\ T_B \sim Gamma(\alpha_B, \beta_B)\\ T_C \sim Gamma(\alpha_C, \beta_C)\\ T_D \sim Gamma(\alpha_D, \beta_D) $$ The data that we have is the total number of tasks per category performed by a person as well as the total time. In other words: $$ T_{total} = T_A\times n_A + T_B\times n_B +T_C\times n_C + T_D\times n_D $$ The problem: infer $\alpha_A, \beta_B, \ldots, \alpha_D, \beta_D$, given $n_A, n_B, n_C, n_D, T_{total}$.
Is there any way to do this in pymc3 or stan or winbugs (or anything else)? Or do I have to derive the probability distribution of $T_total$ in terms of all of the parameters?