In: Proceedings of the IEEE 1988 National Aerospace and Electronics Conference: NAECON 1988, Vol. 2, pages 680-684. New York: IEEE, 1988.
Abstract: 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.