VLSI Implementation of Petri Net Models of a Class of Digital Systems - Khan, Asjad Mumtaz Tahir (1992)