Text this: VLSI implementation of petri net models of a class of digital systems