An example signaling network and its corresponding Petri net. An example signaling network (a) and its corresponding Petri net (b). Each signaling protein in the network, A, B, and C, is designated as a place p
, and p
. A signaling interaction becomes a transition node and its input and output arcs. Note that the connectivity for an activating edge differs from that of an inhibitory edge.