Map1
		State1
				enter				{}
				leave				{}
				Trans1		[]		{}		State2
		end
		State2
				Trans2		[]		{}		State1
		end
		default						{}
end
