Protocol analysis using numerical Petri nets. - Geoffrey R. Wheeler; Michael C. Wilbur-Ham; Jonathan Billington; J. A. Gilmour (Applications and Theory in Petri Nets, 1985)