Wyślij emailem: Qualitative Analysis of Signaling Networks Using Petri Nets and Invariant Computation