High-speed parameter search of dynamic biological pathways from time-course transcriptomic profiles using high-level Petri net. - Chen Li 007; Jiale Qin; Keisuke Kuroyanagi; Lu Lu; Masao Nagasaki; Satoru Miyano (Biosyst., 2021)