An automated approach to translate a biological process from ODEs into graphical hybrid functional Petri Nets | IEEE Conference Publication | IEEE Xplore