Lectures on Concurrency and Petri Nets door J. Desel