TY - RPRT TI - Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets AU - Mariken H. C. Everdij AU - Henk A. P. Blom PY - 2010 DO - 10.4204/eptcs.20.1 UR - https://arxiv.org/abs/1003.4812 ID - 1003.4812 ER -