state and transition label images