PFK's Hierarchical State Machines