This updates the tutorial so that the bivariate Markov chain is properly defined on the counting processes $N(t)$, that is, the cumulative number of firings of each transition at time $t$, using the support in MeasureTheory.jl for affine transformations of measures.
This updates the tutorial so that the bivariate Markov chain is properly defined on the counting processes $N(t)$, that is, the cumulative number of firings of each transition at time $t$, using the support in MeasureTheory.jl for affine transformations of measures.