Lectures on Petri Nets I door Wolfgang Reisig & Grzegorz Rozenberg