@Inproceedings{EPTCS20.1, author = {Everdij, Mariken H.C. and Blom, Henk A.P.}, year = {2010}, title = {Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets}, editor = {Bujorianu, Manuela and Fisher, Michael}, booktitle = {{\rm Proceedings FM-09 Workshop on} Formal Methods for Aerospace, {\rm Eindhoven, The Netherlands, 3rd November 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {20}, publisher = {Open Publishing Association}, pages = {1-15}, doi = {10.4204/EPTCS.20.1}, }