Lectures On Concurrency And Petri Nets Advances In Petri Nets