Text this: Lectures on Petri nets :