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