Reminds me a bit of knot theory, though knot theory isn't really as practical:
http://en.wikipedia.org/wiki/Knot_theory
http://en.wikipedia.org/wiki/Braid_theory
There are "invariants" for braids, which can then be used to distinguish juggling patterns. That can be used to show that the 3 Cascade is in some sense fundamentally different from Mills Mess. Mills Mess is actually the "Unbraid", something that's rather non-obvious.