Heterogeneous Multi-Core System, synchronized by a Petri Processor on FPGA | IEEE Journals & Magazine | IEEE Xplore