Text this: Understanding petri nets :