VLSI implementation of controllers for communication protocols from their Petri net models. - Asjad M. T. Khan; Sadiq M. Sait; Gerhard F. Beckhoff (Great Lakes Symposium on VLSI, 1992)