High Performance Hybrid Functional Petri Net Simulations of Biological Pathway Models on CUDA. - Georgios Chalkidis; Masao Nagasaki; Satoru Miyano (IEEE ACM Trans. Comput. Biol. Bioinform., 2011)