SUDACEVSCHI, Viorica; ABABII, Victor
(Technical University of Moldova, 2011)
This paper describes the digital systems synthesis based on direct mapping of Petri nets model into FPGA circuit. A design flow that includes the specification of the system using Synchronous Petri Nets, verification of ...