Text this: Validating the behavior of a supervised system using petri nets