Text this: Applications and theory of Petri nets :