Lectures on Petri Nets I by Wolfgang Reisig & Grzegorz Rozenberg