Wolfgang Reisig: Petrinetze, Eine Einführung. Springer 1982, ISBN 3-540-11478-5