Figure 7
From: Hybrid modeling of biological networks: mixing temporal and qualitative biological properties
An example of Temporal Evolution Model (TEM). TEM of the network shown in Fig. 1. For each discrete state (like (+, +)), there is a constraint called invariant (h
x
≤ 
&h
y
≤ 
for (+, +)). For each discrete transition (like (+, +) ← (-, +)), there is both a reset of a clock (h
x
← 0 for (+, +) ← (-, +)) and a constraint called guard (h
x
≥ 
for (+, +) ← (-, +)).