Lectures On Petri Nets door Wolfgang Reisig & Grzegorz Rozenberg