Text this: Lectures on Petri Nets II: Applications