Asynchronous system synthesis based on direct mapping using VHDL and Petri nets | doi.page