SMS versenden: Aplikácia na editovanie a softvérovú podporu hybridných Petriho sietí