Component based colored Petri net model for Ethernet based networked control systems | IEEE Conference Publication | IEEE Xplore