Text this: Construction and Experimental Validation of a Petri Net Model of Wnt/β-Catenin Signaling.