https://9lib.org/document/z3dl4988-place-invariants-and-transition-invariants.html