A primer in Petri Net design - Reisig, Wolfgang (Springer-Verlag, 1992)
includes bibl. references