implement TransitionSystemAnalyzer
Merge pull request #4 from ryysd/ats_analyzer

implement TransitionSystemAnalyzer