Szukana fraza: [Temat i słowa kluczowe = sieci Petriego] lub [Temat i słowa kluczowe = model formalny] lub [Temat i słowa kluczowe = PLD] lub [Temat i słowa kluczowe = HDL] lub [Tytuł = Automatyczna dekompozycja specyfikacji behawioralnej sprzętowo\-programowego mikrosystemu cyfrowego] lub [Autor = Stasiak, Andrzej]