Modeling of various addressing schemes for microprocessors using Petri-Net

Modeling of various features of the Motorola MC6800 microprocessor using PN (Petri net) theory is considered. It is argued that problems faced in the approach by G.S. Hura and J.W. Atwood (1985) will be overcome in the proposed method which provides a unified approach for the program verification of any general microprocessor system. This approach is illustrated through an example.<>