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