Modeling of the U1 snRNP assembly pathway in alternative splicing in human cells using Petri nets. - Jeanice Kielbassa; Ralf H. Bortfeldt; Stefan Schuster; Ina Koch (Comput. Biol. Chem., 2009)