A code generation tool for simulation and control, based on colored Petri nets | IEEE Conference Publication | IEEE Xplore