Lectures on Concurrency and Petri Nets by J. Desel