SMS versenden: Prepis stochastických Petriho sietí do VHDL kódu