Describir: Testovací systém pre Petriho siete