The using of petri nets for controlling of the embedded device

Abstract

With the come of single board computers with sufficient performance and programmable components comes the possibility to program embedded devices using the techniques that are used in desktop or server solutions. This article explains how to use the formalism of Petri nets to control the functions of a device that we developed. Simulation based on The Petri nets runs on the device and controls visual effects that are realized by means of programmable LED strips. This paper in detail describes how the Petri nets based simulation process is interconnected with controlling of LED strips.