It will take me a while to get through, because I have to unlearn some aspects of what you are trying to do. That stems from my experiences authoring a book called Markov Modeling for Reliability Analysis (still selling! Wiley Press) where the mantra was to conserve probability within a graph.