Szukana fraza: [Streszczenie = "7. Zautomatyzowano proces syntezy romytej sieci Petriego w zakresie przejścia od testowego opisu struktury sieci do postaci kompletnego kodu w języku Verilog \(wirtualnego komponentu\), opisującego działanie tej sieci \(program komputerowy\)"]