Summary of algebraic methods
Extremely efficient
(polynomial in the size of the net)
Generally provide only necessary or sufficient information
Excellent for ruling out some deadlocks or otherwise dangerous conditions
Can be used to structurally infer boundedness