Lectures on Petri Nets I: Basic Models Advances in Petri Nets - Reisig, Wolfgang; Reisig, Wolfgang; Rozenberg, Grzegorz; Rozenberg, Grzegorz (Springer Berlin Heidelberg : Imprint: Springer, 1998)