Text this: Applications and theory of petri nets :