High Performance Hybrid Functional Petri Net Simulations of Biological Pathway Models on CUDA