Text this: VLSI Implementation of Petri Net Models of a Class of Digital Systems