Describir: Využitie formalizmov Petriho sietí v riadení laboratórnych systémov