A high performance programmable controller for CIM systems based on Petri net theory | IEEE Conference Publication | IEEE Xplore