Text this: VLSI implementation of controllers for communication protocols fromtheir Petri net models