WILFPLUS is a Maple program that, in some cases, can produce an enumeration scheme for permutations defined by pattern restrictions. Download it from Vince Vatter.