The paper presents an introduction to a mathematical method for modell
ing discrete coordination control in batch production systems. The pro
cess to be controlled is modelled using Petri net theory, a tool that
is suitable for the design of discrete supervisory controllers, as wel
l as for performance evaluation of the controlled process. As an illus
tration, simple condition/event systems and higher Petri nets are appl
ied to model a dye-stuff production process.