The goal of the paper is to present a novel approach to Application Specific Logic Controllers realisations, which is suitable especially for small, embedded system designs. A discrete model of a Logic Controller is derived directly from Control Interpreted Petri Net or related Sequential Function Chart (SFC), and synthesised as a dedicated microsystem. The unified, formal intermediate model is...