Petri-net modeling of B-cell receptor signaling pathways: A case study in CLL.