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