Text this: Lectures on concurrency and Petri nets :