Performance assessment of industrial control system during pre-sales uncertain context using automatic Colored Petri Nets model generation | IEEE Conference Publication | IEEE Xplore