ON THE DESCRIPTION OF SIMPLE MICROPROCESSOR CONFIGURATIONS BY MEANS OF PETRI NETS.

Every microprocessor system can be treated as a collection of modules (made in the LSI technology), i. e. , a processor module, ROM and RAM memories, I/O-ports, etc. In this paper the authors present a description of a microprocessor system on the level of inter-register transferences. They restrict themselves to model some system modules (thought as collections of cells or registers), and a co-operation of those modules only. As a medium to formalize, the authors use Petri Nets.