Jaroslaw Mirkowski

Synthesis of Synchronous Digital Systems Specified by Petri Nets

Krzysztof Bilinski, Norian Marranghello, Jaroslaw Mirkowski, 2000 .

Translation of C and VHDL Specifications into Interpreted Petri Nets for Hardware/Software Codesign

Zbigniew Skowronski, Jaroslaw Mirkowski, 1998 .

Synchronous parallel controller synthesis from behavioural multiple-process VHDL description

Erik L. Dagless, Krzysztof Bilinski, Jaroslaw Mirkowski, 1996, Proceedings EURO-DAC '96. European Design Automation Conference with EURO-VHDL '96 and Exhibition.