Modeling of various addressing schemes for microprocessors using Petri-Net
A.K. Khare, Gurdeep Singh Hura · 2003
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.>