finite state diagram gallery sample