Lectures On Petri Nets by Wolfgang Reisig & Grzegorz Rozenberg