High-level Petri nets modules for embedded controllers design | IEEE Conference Publication | IEEE Xplore