Automatic code generation for microcontrollers from place-transition Petri net models

Abstract This paper describes a program for the automatic generation of code for Intel's 8051 micro-controller. The code is generated from a place-transition Petri net specification. Our goal is to minimize programming time. The code generated by our program has been observed to exactly match the net model. It has also been observed that no change is needed to be made to the generated code for its compilation to the target architecture.