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