Synthesizing Petri nets from state-based models.

Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev

Browse the full ICCAD paper archive.