VHDL implementation of CAN fieldbus modeling based on petri nets | IEEE Conference Publication | IEEE Xplore