Petri nets as a common tool for design verification and hardware simulation.

Pierre Azma, Robert Valette, Michel Diaz

Browse the full DAC paper archive.