Text this: Lectures on Concurrency and Petri Nets