Additive Set-Valued Markov Processes and Graphical Methods | Synapse